halmos en · NOUN
Etymology
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.
Meanings
- The symbol “∎” marking the end of a proof.
Synonyms
Translations (6)
de Halmos (Translations) · de Kästchen (Translations) · pl znak końca dowodu (Translations) · de Kiste (Translations) · de Grabstein (Translations) · fi todistuksen loppu -laatikko (Translations)