Lápide (tipografia)

Várias formas do símbolo de fim de prova

Em matemática, a lápide , halmos , end-of-proof , ou símbolo QED "∎" (ou "□") é um símbolo usado para denotar o fim de uma prova , no lugar da abreviatura tradicional "QED" para o latim frase " quod erat demonstrandum ". Inspira-se na prática tipográfica das marcas finais , elemento que marca o fim de um artigo. [1] [2]

Em Unicode , é representado pelo caractere U+220E END OF PROOF . Sua forma gráfica varia, podendo ser um retângulo ou quadrado vazado ou preenchido.

No AMS-LaTeX , o símbolo é anexado automaticamente ao final de um ambiente de prova \begin{proof}... \end{proof}. Também pode ser obtido a partir dos comandos \qedsymbol, \qedhereou \qed(o último faz com que o símbolo fique alinhado à direita). [3]

Às vezes é chamado de "símbolo de finalidade de Halmos" ou "halmos" em homenagem ao matemático Paul Halmos , que o usou pela primeira vez em um contexto matemático em 1950. [4] Ele teve a ideia de usá-lo ao ver marcas finais em revistas , ou seja , sinais tipográficos que indicam o final de um artigo. Em suas memórias I Want to Be a Mathematician , ele escreveu o seguinte: [1]

O símbolo definitivamente não é minha invenção - ele apareceu em revistas populares (não matemáticas) antes de adotá-lo, mas, mais uma vez, parece que o introduzi na matemática. É o símbolo que às vezes se parece com ▯, e é usado para indicar um fim, geralmente o fim de uma prova. É mais freqüentemente chamada de 'lápide', mas pelo menos um autor generoso se referiu a ela como 'halmos'.

Veja também

Notas

  1. ^ ab Paul R. Halmos, Eu quero ser um matemático: uma automação , 1985, p. 403.
  2. ^ Felici, James (2003). "O manual completo de tipografia: um guia para definir o tipo perfeito". Berkeley, CA: Peachpit Press.
  3. ^ "LaTeX/Teoremas - Wikilivros, livros abertos para um mundo aberto" . en.wikibooks.org . Recuperado 2019-11-05 .
  4. ^ Halmos, Paul R. (1950). Teoria da medida . Nova York: Van Nostrand. pág. 6. ISBN 0387900888. OCLC  529634.

Referências

  • Miller, Jeff (29 de setembro de 2007), Early Uses of Symbols of Set Theory and Logic , consultado em 26 de junho de 2010