墓石（タイポグラフィ）

数学において、証明終了記号「∎」（または「□」）は、ラテン語の「 quod erat demonstrandum 」の伝統的な略語「QED」の代わりに、証明の終了を示すために使用される記号です。これは、記事の終わりを示す要素である活字の末尾記号に由来しています。 ^{[ 1 ] [ 2 ]}

Unicodeでは、文字U+220E ∎ END OF PROOFとして表されます。その図形は、中空の長方形または正方形、塗りつぶされた長方形または正方形など、様々です。

AMS-LaTeXでは、この記号は証明環境の末尾に自動的に追加されます\begin{proof}。\end{proof}また、コマンド\qedsymbol、\qedhereまたは\qed(後者は記号を右揃えにします) からも取得できます。^{[ 3 ]}

これは、1950 年に数学の文脈で初めて使用した数学者ポール・ハルモスにちなんで、「ハルモス終結記号」または「ハルモス」と呼ばれることもあります。^{[ 4 ]}彼は、雑誌の終結記号、つまり記事の終わりを示す活字記号を見て、これを使うことを思いつきました。彼の回顧録『私は数学者になりたい』の中で、彼は次のように書いています。 ^{[ 1 ]}

この記号は決して私の発明ではありません 。私が採用する前から（数学雑誌ではない）一般誌に掲載されていましたが、またしても私が数学の世界に持ち込んだようです。これは、時に▯のように見える記号で、通常は証明の終わりなど、終わりを示すために使われます。最もよく「墓石」と呼ばれますが、少なくとも一人の寛大な著者は「ハルモス」と呼んでいました。

• -30-
• ブロック要素
• ファイルの終わり
• 送信終了文字
• したがって、記号（∴）
• ランプの篝火（タイポグラフィ）

• ミラー、ジェフ（2007年9月29日）、「集合論と論理の記号の初期の使用例」 、 2010年6月26日取得
• ミラー、ジェフ。「集合論と論理の記号の初期の使用」。MacTutor数学史。2026年6 月 1 日取得。