Símbolo ∎: O Fim da Prova Matemática e o Quadrado de Halmos
O símbolo ∎ (U+220E), conhecido na matemática como "Fim de Prova" ou "Tombstone" (lápide), marca a conclusão de uma demonstração matemática. Ele funciona como uma versão moderna e visual da clássica sigla latina Q.E.D. (quod erat demonstrandum), sinalizando para o leitor que o argumento lógico apresentado chegou definitivamente ao seu fim.
A popularização desse pequeno bloco sólido se deve ao matemático húngaro-americano Paul Halmos. Durante os anos 1950, Halmos decidiu adotar o símbolo após vê-lo em revistas de circulação geral, onde pequenos quadrados marcavam visualmente o fim dos artigos de texto. Na matemática acadêmica, o caractere ganhou o apelido afetuoso de "símbolo de Halmos" e rapidamente substituiu a abreviação Q.E.D., economizando espaço nas páginas impressas e oferecendo uma estética muito mais limpa e direta para os leitores.
No Padrão Unicode, o ∎ atende pelo nome oficial de "End of Proof" e ocupa o ponto de código U+220E dentro do bloco de Operadores Matemáticos. Embora sua casa natural seja a matemática avançada, a ciência da computação e a física também o adotaram para sinalizar o fim de algoritmos ou de deduções lógicas complexas. Nas redes sociais e em fóruns focados em estudos, estudantes de exatas costumam usar o ∎ ao compartilhar memes sobre cálculos difíceis ou ao finalizar um fio longo de explicações no X (antigo Twitter), dando um tom irônico e triunfante de "caso encerrado" à discussão.
Digitar o ∎ no dia a dia exige alguns truques. No Windows, você pode procurá-lo no aplicativo Mapa de Caracteres buscando pelo código 220E. No macOS, ativar o teclado de entrada Unicode e digitar Option + 220E resolve o problema. Para a web, desenvolvedores utilizam as entidades HTML ∎ ou ∎. No LaTeX, a linguagem de marcação mais usada no meio acadêmico, o comando padrão para exibi-lo é \blacksquare ou \qedsymbol. Se você estiver no celular, o jeito mais prático de mandar o símbolo no WhatsApp ou Telegram é simplesmente copiá-lo da internet e colar na sua conversa.
Existem outros caracteres parecidos na tabela Unicode que possuem propósitos diferentes. O quadrado preto geométrico comum (■, U+25A0) aparece frequentemente apenas como marcador de lista (bullet point) ou elemento de design visual. Já o quadrado branco vazado (□, U+25A1) surge em algumas publicações para indicar o fim de uma prova quando o autor prefere uma versão tipográfica mais leve e que economiza tinta. O ∎ original se destaca por sua proporção vertical levemente retangular e por seu papel histórico, facilitando a vida de milhares de estudantes e pesquisadores ao redor do mundo.