墓石記号 - Wikipedia

様々な形の墓石記号 墓石記号（はかいしきごう、ぼせききごう、英語: 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: ∎)に割り当てられている。表示のされ方は環境により異なる。中身が塗りつぶされている（■）または中空（□）、外形が正方形または長方形のいずれであっても良い。学生のノートやレポートでは筆記用具の制約から、しばしば中空の四角形

[itochan]

＞証明終了記号(end of proof mark)、Q.E.D.記号(Q.E.D. mark)、ハルモス記号(Halmos mark)、ハルモスの箱(Halmos box)とも呼ばれる。