アップタック（垂直記号）

2本が直角に交わる、つまり垂直という意味です。 AB⊥CDは「ABとCDは垂直」と読みます。記号自体が、横線の上に縦線が立つ直角の絵になっています。幾何での相棒は「平行」の∥です。

ベクトルや関数では垂直を「直交」と呼び、u⊥vは2つのベクトルが直交することを表します。W⊥のように文字の右上に小さく書くと、Wに直交するもの全体（直交補空間）を指します。

論理学で⊥が「偽」なのはなぜ？

決して真にならない命題を表すからです。 論理学ではfalsumやボトムと呼びます。背理法の証明は⊥にたどり着いたところで終わり、「φでない」はφ→⊥（φは矛盾を導く）とも書けます。鏡像の⊤は「真」です。

「ボトム」は順序の最小元の意味もあります。プログラミング言語の理論では、ボトム型は値を一つも持たず、それを返す関数は正常に戻りません。言語によってはNever、Nothing、!と書きます。

⊥と⟂、どちらを使えばいい？

普段の「垂直」なら⊥で問題なく通じます。 古い文字コード、HTMLの&perp;、多くの記号入力は⊥を出します。Unicodeは2005年に、=や<と同じ間隔で組まれる垂直専用の⟂を加え、丁寧な数式組版ではこちらが好まれることもあります。見た目はほぼ同じでも別の文字なので、一方で検索しても他方は見つかりません。