Tombstone (tipografia)

Sinais de pontuação
Sinais gráficos
apóstrofo '
parênteses ()
colchetes ou parênteses retos [ ]
chaves ou chavetas {}
dois-pontos :
vírgula ,
travessão
meia-risca
hífen
reticências ... . . .
ponto final .
ponto de exclamação !
ponto de exclamação invertido ¡
ponto de interrogação ?
interrobangue
ponto de interrogação invertido ¿
til ~
ponto e vírgula ;
barra /
ponto mediano ·
espaço     
Símbolos matemáticos
mais e de menos + −
sinais de multiplicação e divisão × ÷
sinal de igual =
mais ou menos, menos ou mais ± ∓
Símbolos monetários
moeda ¤
Dólar/Peso $
Cêntimo ¢
Libra esterlina £
Iene/Renminbi ¥
Euro
Won
Bitcoin
Outros sinais tipográficos
"E" comercial ou ampersand &
asterisco *
símbolo de direitos autorais ©
marca registrada comercial ®
arroba @
aspas “”
barra inversa ou contrabarra \
chevron <>
ponto lista
obelisco
grau °
indicador ordinal
cerquilha ou cardinal #
plica
parágrafo §
pé de mosca
porcentagem %
traço inferior _
barra vertical ou pipe |
sinal de conclusão
sinal de idem
dois pontos triangulares ː
Relacionados
  • v
  • d
  • e

O tombstone, Halmos, fim da prova, ou Q.E.D. marcado "∎" (ou "□") é usado em matemática para denotar o fim de uma prova, no lugar da abreviação tradicional "Q.E.D." para a frase em latim "quod erat demonstrandum", "que estava a ser mostrado". Em revistas, é um dos vários símbolos usados para indicar o final de um artigo.

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

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

No AMS-LaTeX, o símbolo é automaticamente anexado no final de um ambiente de prova \begin {proof} ... \end {proof}. Ele também pode ser obtido dos comandos \qedsymbol ou \qed (o último faz com que o símbolo seja alinhado à direita).

Às vezes é chamado halmos depois do matemático Paul Halmos, que o usou pela primeira vez no contexto matemático. Ele teve a ideia de usá-lo ao ver que estava sendo usado para indicar o fim de artigos em revistas. Em suas memórias I Want to Be a Mathematician, ele escreveu o seguinte:[1]

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

 (em português)

Ver também

Notas e referências

  1. Paul R. Halmos, I Want to Be a Mathematician: An Automathography, 1985, p. 403.

Referências

  • Miller, Jeff (29 de setembro de 2007), Earliest Uses of Symbols of Set Theory and Logic, consultado em 26 de junho de 2010 
  • Portal da matemática