Definitions

from Wiktionary, Creative Commons Attribution/Share-Alike License

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

Etymologies

from Wiktionary, Creative Commons Attribution/Share-Alike License

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.

Examples

  • It's called a halmos (or tombstone) and is used at the end of magazine articles and mathematical proofs.

    Archive 2009-05-01

  • You can use it for your own blog posts as well — just copy the halmos at the end of this post.

    Archive 2009-05-01

Comments

Log in or sign up to get involved in the conversation. It's quick and easy.