Halmos

noun

noun ·2 syllables ·Rare ·Advanced level

Definitions

Noun
  1. 1
    The symbol “∎” marking the end of a proof.

Synonyms

All synonyms
tombstonetombstone

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.

More for "halmos"

SynonymsSentencesPronunciationTranslate

Next best steps

Find stronger synonymsSee usage examplesCheck pronunciationBrowse writing guides

Data sourced from Wiktionary, WordNet, CMU, and other open linguistic databases. Updated March 2026.