[test] 書き込みテスト 専用スレッド 285 [テスト]
■ このスレッドは過去ログ倉庫に格納されています
LaTeX などのソフトウェアを用いてコンピュータによる組版で数学の証明が書かれるようになってから何種類かの記号が Q.E.D. の代わりに用いられるようになった。
代表的なものは墓石(tombstone)あるいはハルモス記号(この用法を提案したポール・ハルモスにちなむ[4])とも呼ばれる黒い四角
◼
{\displaystyle \blacksquare } であるが、白い四角
◻
\square が推奨されることもある[5]。Unicode は「証明終わり」の記号を明示的に U+220E (end of proof ∎) に割り当てているが、
U+25AE (black vertical rectangle ▮) や U+2023 (triangular bullet ‣) も代替として割り当てている。 ■ このスレッドは過去ログ倉庫に格納されています