墓石記号
墓石記号(はかいしきごう、ぼせききごう、英語: tombstone mark)とは、数学において証明の終わりを示すために用いられる四角形の記号である。証明終了記号(end of proof mark)、Q.E.D.記号(Q.E.D. mark)、ハルモス記号(Halmos’ mark)、ハルモスの箱(Halmos’ box)とも呼ばれる。従来Q.E.D.と書かれていた箇所に、その代わりに表示される。雑誌では、記事の終わりを示すためにこの記号が用いられることがある。
Unicodeでは、U+220E ∎ end of proof (HTML: &#8718;)に割り当てられている。表示のされ方は環境により異なる。中身が塗りつぶされている(■)または中空(□)、外形が正方形または長方形のいずれであっても良い。学生のノートやレポートでは筆記用具の制約から、しばしば中空の四角形をハッチングで塗ったもの(▨)や斜線を入れたもの(〼)も見受けられる。
AMS-LaTeXでは、証明環境 \begin{proof} ... \end{proof} の最後に自動的にこの記号が追加される。コマンド\qedsymbolや\qedでも表示できる(後者は記号を右揃えにする)。
「ハルモス記号」の名は、この記号を最初に数学において使用した数学者ポール・ハルモスによる。彼は、雑誌の記事の終わりを示すのにこの記号が使われていたのを見て、これを証明終了の記号として使うことを思いついた。彼の回想録『数学者になりたかった』(I Want to Be a Mathematician)には、次のように書かれている。