Meanings
Synonyms & antonyms
nounThe symbol “∎” marking the end of a proof.
Origin
Named after Hungarian-born US mathematician Paul Halmos (1916-2006) who first used it in mathematics, after seeing it marking the end of articles in magazines.
Full word history & related roots →Translations
Finnish todistuksen loppu -laatikko
- todistuksen loppu -laatikkoTranslations
German Kästchen, Kiste
- KästchenTranslations
- KisteTranslations
- GrabsteinTranslations
- HalmosTranslations
Polish znak końca dowodu
- znak końca dowoduTranslations
Rhymes & wordplay
Anagrams
Cite this entry
halmos. (n.d.). In WatkinsX Dictionary. Retrieved November 2, 2026, from https://dictionary.watkinsx.com/word/halmos
“halmos.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/halmos. Accessed November 2, 2026.
WatkinsX Dictionary, s.v. “halmos,” accessed November 2, 2026, https://dictionary.watkinsx.com/word/halmos.
Source: halmos on Wiktionary, CC BY-SA 4.0.