Tombstone (tipografía)

[1]​[2]​ En el estándar Unicode, se representa como el carácter U+220E ∎ End of Proof.

También se puede obtener mediante los comandos \qedsymbol, \qedhere o \qed (el último alinea el símbolo a la derecha de la página).

[3]​ También se le conoce como «símbolo de término de Halmos» o «halmos», por el matemático Paul Halmos, quien lo usó en primer lugar en un contexto matemático en 1950.

[4]​ Halmos se inspiró para su uso en los símbolos tipográficos de revistas que indicaban el final de un artículo.

En sus memorias I Want to Be a Mathematician, escribió lo siguiente:[1]​