垂直記号
↑ Scott Pakin (2021-05-05), The Comprehensive LaTeX Symbol List, pp. 51, 97, https://tug.ctan.org/info/symbols/comprehensive/symbols-a4.pdf
↑ これは二項関係を表す記号である。矛盾(falsum)を表す文字様記号 ⊥ {\displaystyle \bot } には \bot を用いる。