halmos

English - English

Definition of halmos in English English dictionary

The symbol “∎” marking the end of a proof

The symbol " (Unicode U+220E, "END OF PROOF") marking the end of a proof

Turkish pronunciation

hôlmōs

Synonyms

tombstone

Pronunciation

/ˈhôlmōs/ /ˈhɔːlmoʊs/

Etymology

() Named for (Hungarian-born) American mathematician Paul Halmos (born 1916) who first used it in mathematics, after seeing it marking the end of articles in magazines.