Tombstone (typography)

From Wikipedia, the free encyclopedia
Jump to: navigation, search
Various forms of the end-of-proof symbol

The tombstone, Halmos, end of proof, or Q.E.D. mark "" is used in mathematics to denote the end of a proof, in place of the traditional abbreviation "Q.E.D." for the Latin phrase "quod erat demonstrandum", "which was to be shown". In magazines, it is one of the various symbols used to indicate the end of an article.

In Unicode, it is represented as character U+220E end of proof (HTML ∎). Its graphic form varies. It may be a hollow or filled rectangle or square.

In AMS-LaTeX, the symbol is automatically appended at the end of a proof environment \begin{proof} ... \end{proof}. It can also be obtained from the commands \qedsymbol or \qed (the latter causes the symbol to be right aligned).

It is sometimes called a halmos after the mathematician Paul Halmos, who first used it in mathematical context. He got the idea of using it from seeing it was being used to indicate the end of articles in magazines. In his memoir I Want to Be a Mathematician, he wrote the following:[1]

See also[edit]


  1. ^ Paul R. Halmos, I Want to Be a Mathematician: An Automathography, 1985, p. 403.