墓碑符號

符号

墓碑符號tombstone),在數學中用來表示證明完畢,以取代傳統上使用的拉丁文縮寫Q.E.D.(意為「證明完畢」)。

不同類型的證畢符號

該符號在Unicode中的代碼為U+220E 。此外還有其他一些變體,可以是空心或實心的矩形或正方形。

它有時又被稱為哈爾莫斯符halmos),以最早將這一符號用於數學的數學家保羅·哈爾莫斯的名字命名。

AMS-LaTeX

AMS-LaTeX中,使用證明環境\begin{proof} ... \end{proof}可自動在證明的結尾加上該符號。同時也可通過\qedsymbol\qed命令顯示此符號。

參見

參考文獻