⊤の意味
表す意味は、記法によって真・恒真式・最大元と異なります。 論理では、真を表すラテン語の verum や、どの場合にも真となる式を指します。束論は順序構造を扱い、⊤はその最大元を表します。型理論でも、常に真となる命題を表すことがあります。
APLについての2000年の注記には、tack記号の名称としてBosworth式とLondon式の異なる慣例が記録されています。APLは独自の数学記号を使うプログラミング言語です。
論理・束論・型理論で使われる形式的な記法です。
〜と混同しないで
2⊤の入力方法
Windows (Word)
Alt+X22A4を入力してAlt+Xを押すと⊤になります。
Windows
Win+Rcharmapで文字一覧を開くか、絵文字ピッカーのΩタブ（Win + .）を使います。
macOS
Control+Command+Space文字ビューアを開き、「down tack」を検索します。
Linux
Ctrl+Shift+U22a4を入力してEnterまたはSpaceを押します。
HTML
⊤CSS
\22A4LaTeX
LaTeXの数式モードで `\top` と入力します。
コードと文字コードコードポイント数：1
HTML 十進数
⊤
HTML 十六進数
⊤
CSS 内容
content: "\22A4";
各エスケープは次のバックスラッシュで終わります。直後に十六進数字を文字として置く場合は空白が必要です。
URL エンコード
%E2%8A%A4
1
画面上
1
コードポイント
1
JS .length
3
UTF-8 バイト数
画面上の記号は複数のコードポイントを含む場合があります。JS .length は UTF-16 単位、UTF-8 はバイトを数えます。