En matemáticas, la lápida , halmos , fin de prueba o símbolo QED "∎" (o "□") es un símbolo utilizado para indicar el final de una prueba , en lugar de la abreviatura tradicional "QED" del latín. frase " quod erat demonstrandum ". Está inspirado en la práctica tipográfica de las marcas finales , elemento que marca el final de un artículo. [1] [2]
En Unicode , se representa como carácter U+220E ∎ FIN DE PRUEBA . Su forma gráfica varía, pudiendo ser un rectángulo o cuadrado hueco o relleno.
En AMS-LaTeX , el símbolo se agrega automáticamente al final de un entorno de prueba \begin{proof}.... \end{proof}También se puede obtener de los comandos \qedsymbol, \qedhereo \qed(este último hace que el símbolo quede alineado a la derecha). [3]
A veces se le llama "símbolo de finalidad de Halmos" o "halmos" en honor al matemático Paul Halmos , quien lo usó por primera vez en un contexto matemático en 1950. [4] Se le ocurrió la idea de usarlo al ver marcas de final en revistas , es decir. , signos tipográficos que indican el final de un artículo. En sus memorias Quiero ser matemático , escribió lo siguiente: [1]
El símbolo definitivamente no es mi invención: apareció en revistas populares (no en revistas de matemáticas) antes de que lo adoptara, pero, una vez más, parece que lo he introducido en las matemáticas. Es el símbolo que a veces se parece a ▯ y se usa para indicar un final, generalmente el final de una prueba. Con mayor frecuencia se la llama "lápida sepulcral", pero al menos un autor generoso se refirió a ella como "halmos".