Lápida (tipografía)
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".
Véase también
Notas
- ^ ab Paul R. Halmos, Quiero ser matemático: una automatografía , 1985, pág. 403.
- ^ Felici, James (2003). "El manual completo de tipografía: una guía para la composición tipográfica perfecta". Berkeley, CA: Peachpit Press.
- ^ "LaTeX/Teoremas - Wikilibros, libros abiertos para un mundo abierto". en.wikibooks.org . Consultado el 5 de noviembre de 2019 .
- ^ Halmos, Paul R. (1950). Teoría de la medida . Nueva York: Van Nostrand. págs.6. ISBN 0387900888.OCLC 529634 .
Referencias
- Miller, Jeff (29 de septiembre de 2007), Los primeros usos de los símbolos de la teoría de conjuntos y la lógica , consultado el 26 de junio de 2010
 | Este artículo relacionado con la tipografía es un esbozo . Puedes ayudar a Wikipedia expandiéndolo. |
