証明終わりの記号
ハルモス記号
$ \square
$ \blacksquare
∎:
Unicode U+220E
https://ja.wikipedia.org/wiki/墓石記号
Q.E.D.
Quod Erat Demonstrandum: これが示されるべき事であった
Q.E.D.#Typographical_forms_used_symbolically - Wikipedia
題意は示された
(証明終わり)
断りをいれればどのようなものでもよい
(倒した)
みたいなのを見たことがある
あんも.icon
競技数学アスリートをめざそう （1）代数編 | 株式会社 現代数学社
\(^o^)/
吉田 『ルベーグ積分入門』
背理法
による証明の終わり？
↯:
Unicode U+21AF
あまり利用されていない？
あんも.icon
主題でないものを示す場合は別の記号を使いたいという要請？
https://en.wikipedia.org/wiki/Proof_by_contradiction