English Explanatory Dictionary

halmos

English dictionary entry

Meanings

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

Word forms

halmos

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.

Synonyms

tombstone
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on H Russian dictionary Dahl dictionary