Standard Lemma guide

halmos

noun · 1 senses · updated from the 2026-07-25 local source snapshot

Definitions and examples are grouped by meaning. Pronunciation, history, word forms, translations, descendants, synonyms, antonyms, derived terms, and related words appear whenever the source provides them.

Sound

Pronunciation

Each Play button uses your device's default local English voice, or a natural local fallback. The selected voice name appears after playback. This is synthesized speech, not a source recording.

  • CMU ARPABET: HH AO1 L M OW0 S Digits mark lexical stress: 1 primary, 2 secondary, 0 unstressed.

1

noun

Meaning 1

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

Definition source: English Wiktionary via Wiktextract

Topics: mathematics, sciences

No example sentence was provided for this meaning.

Meaning relationships

Synonyms: none provided

Antonyms: none provided

History

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.

Across languages

Translations

6 source translations are retained for this English entry.

  • Finnish: todistuksen loppu -laatikko — Translations
  • German: Kästchen — Translations
  • German: Kiste — Translations
  • German: Grabstein — Translations
  • German: Halmos — Translations
  • Polish: znak końca dowodu — Translations