墓碑符號
外觀
![本頁使用了標題或全文手工轉換](http://upload.wikimedia.org/wikipedia/commons/thumb/c/cd/Zh_conversion_icon_m.svg/35px-Zh_conversion_icon_m.svg.png)
![](http://upload.wikimedia.org/wikipedia/commons/3/3e/Halmos_symbols.png)
墓碑符號∎(tombstone),在數學中用來表示證明完畢,以取代傳統上使用的拉丁文縮寫Q.E.D.(意為「證明完畢」)。
該符號在Unicode中的代碼為U+220E ∎ 。此外還有其他一些變體,可以是空心或實心的矩形或正方形。
它有時又被稱為哈爾莫斯符(halmos),以最早將這一符號用於數學的數學家保羅·哈爾莫斯的名字命名。
AMS-LaTeX[編輯]
在AMS-LaTeX中,使用證明環境\begin{proof} ... \end{proof}可自動在證明的結尾加上該符號。同時也可通過\qedsymbol或\qed命令顯示此符號。
參見[編輯]
參考文獻[編輯]
- Miller, Jeff, Earliest Uses of Symbols of Set Theory and Logic, 2007-09-29 [2010-06-26], (原始內容存檔於2019-11-04)