⊤ 的含義
依照不同記法，它可表示真、重言式或最大元素。 在邏輯中，它可表示拉丁文 verum（真）或重言式，也就是在所有情況下都為真的陳述。格論研究有序結構；其中 ⊤表示最大元素。型別理論也可能用它表示永真的命題。
一份2000年的APL註記記錄了兩種互有競爭的tack符號命名慣例：Bosworth與London。APL是一種使用自有數學符號的程式語言。
用於邏輯、格論與型別理論的形式記法。
收錄於此合集
不要與它混淆
2
更多相似符號
23
如何輸入或找到 ⊤
- 搜尋方式
- 最大值符號 · ⊤的意思 · verum · 格論最大元素 · \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 計算位元組。