Lápida (tipografía)

En matemáticas, el símbolo de lápida , halmos , fin de prueba o QED "∎" (o "□") es un símbolo que se utiliza para indicar el final de una prueba , en lugar de la abreviatura tradicional "QED" de la frase latina " quod erat demonstrandum ". Está inspirado en la práctica tipográfica de las marcas de fin de 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 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 ]} Se le ocurrió la idea de usarlo al ver marcas de fin en revistas , es decir, signos tipográficos que indican el final de un artículo. En sus memorias I Want to Be a Mathematician , escribió lo siguiente: ^{[ 1 ]}

El símbolo no es, sin duda, un invento mío  ; apareció en revistas de divulgación (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 se parece a ▯ y se usa para indicar un final, generalmente el final de una demostración. Se le suele llamar «lápida», pero al menos un autor generoso lo denominó «halmos».

• -30-
• Elementos de bloque
• Fin de archivo
• Carácter de fin de transmisión
• Por lo tanto, signo (∴)
• Cul-de-lampe (tipografía)

• Miller, Jeff (29 de septiembre de 2007), Primeros usos de los símbolos de la teoría de conjuntos y la lógica , consultado el 26 de junio de 2010.
• Miller, Jeff. "Primeros usos de los símbolos de la teoría de conjuntos y la lógica" . MacTutor History of Mathematics . Consultado el 1 de junio de 2026 .