En matemáticas, el símbolo de lápida , halmos , fin de prueba o QED "∎" (o "□") es un símbolo utilizado para indicar el final de una prueba , en lugar de la abreviatura tradicional "QED" para la frase latina " quod erat demonstrandum ". Está inspirado en la práctica tipográfica de las marcas finales , un elemento que marca el final de un artículo. [1] [2]
En Unicode se representa como el carácter U+220E ∎ FIN DE LA PRUEBA . Su forma gráfica varía, ya que puede ser un rectángulo o un 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 mediante los comandos \qedsymbol, \qedhereo \qed(este último hace que el símbolo se alinee 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 utilizó por primera vez en un contexto matemático en 1950. [4] La idea de usarlo se le ocurrió al ver marcas finales 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 no es, en absoluto, una invención mía: apareció en revistas populares (no de matemáticas) antes de que yo lo adoptara, pero, una vez más, parece que lo he introducido en las matemáticas. Es el símbolo que a veces parece ▯ y se utiliza para indicar un final, normalmente el final de una prueba. Se le suele llamar "lápida", pero al menos un generoso autor se refirió a él como "halmos".