"tombstone" square rendered funny

### Description

A self-made empty square that marks the end of a proof, defined by \def\tombstone{\hbox{\lower.4pt\vbox{\hrule\hbox{\vrule \kern7.6pt\vrule height7.6pt}\hrule}\kern.5pt}} is re-sized with funny dimensions and does not look like a square at all. The author (myself) will replace it with a single symbol in the next version of the paper.

### (Optional:) Please add any files, screenshots, or other information here.

_No response_

### (Required) What is this issue most closely related to? Select one.

Other

### Internal issue ID

dcfd312f-9cfb-4e31-affc-653e66195fbf

### Paper URL

https://arxiv.org/html/2411.12385v1

### Browser

Firefox/132.0

### Device Type

Linux laptop (Ubuntu)

No repository files, tests, or entry points are named. Open the linked paper in Firefox on Ubuntu and compare the rendered tombstone with the TeX definition in the issue; done means the proof-ending square no longer has the reported distorted dimensions.

Written by the indexing model from the issue text.