電子的な記号
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/05/11 10:11 UTC 版)
LaTeX などのソフトウェアを用いてコンピュータによる組版で数学の証明が書かれるようになってから何種類かの記号が Q.E.D. の代わりに用いられるようになった。代表的なものは墓石（tombstone）あるいはハルモス記号（この用法を提案したポール・ハルモスにちなむ）とも呼ばれる黒い四角 ◼ {\displaystyle \blacksquare } であるが、白い四角 ◻ {\displaystyle \square } が推奨されることもある。Unicode は「証明終わり」の記号を明示的に U+220E (end of proof ∎) に割り当てているが、 U+25AE (black vertical rectangle ▮) や U+2023 (triangular bullet ‣) も代替として割り当てている。
※この「電子的な記号」の解説は、「Q.E.D.」の解説の一部です。
「電子的な記号」を含む「Q.E.D.」の記事については、「Q.E.D.」の概要を参照ください。
ウィキペディア小見出し辞書の「電子的な記号」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- 電子的な記号のページへのリンク
