| 词条 | Tombstone (typography) |
| 释义 |
The tombstone, Halmos, end of proof, or Q.E.D. mark "∎" (or "□") 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 {{unichar|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] {{quote|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 ▯, 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'.}}See also
Notes1. ^Paul R. Halmos, I Want to Be a Mathematician: An Automathography, 1985, p. 403. References
| last = Miller | first = Jeff | author-link = | title = Earliest Uses of Symbols of Set Theory and Logic | date = September 29, 2007 | url = http://jeff560.tripod.com/set.html | accessdate = June 26, 2010}}{{typ-stub}} 3 : Mathematical proofs|Mathematical symbols|Typography |
| 随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。