Dictionaries › English

halmos

The English word “halmos” has 1 meaning listed here.

noun

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

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.

Keep exploring: in the interactive dictionary every word of a definition is a link. Open “halmos” there

More English words

About this dictionary

The English dictionary on Glottosphere has 650,529 entries with a page. Browse the English dictionary.

Definitions are from Wiktionary, extracted by Kaikki.org, and are available under the CC BY-SA 4.0 licence.