Tombstone (typography)
From Wikipedia, the free encyclopedia
The tombstone, halmos, or end of proof mark "∎" is used in mathematics to denote the end of a proof, in place of the traditional phrase quod erat demonstrandum (Q.E.D.).
Various forms of the end-of-proof symbol
In Unicode, it is represented as character U+220E "End of Proof". Its graphic form varies. It may be a hollow or filled rectangle or square.
It is called a halmos after its eponym Paul Halmos, who first used it in mathematical context, after seeing it was being used to indicate the end of articles in magazines.[1]
[edit] Notes
- ^ "The symbol is definitely not my invention -- it appeared in popular magazines (not mathematical ones) before I adopted it, but, once again, I seem to have introduced it into mathematics. It is the symbol that sometimes looks like [an empty square], and is used to indicate an end, usually the end of a proof. It is most frequently called the 'tombstone', but at least one generous author referred to it as the 'halmos'.", Paul R. Halmos, I Want to Be a Mathematician: An Automathography, 1985, p. 403, quoted at http://members.aol.com/jeff570/set.html.
[edit] See also
