⊦ 的含義
它表示一個判斷已被斷言。 後面的公式會被當作真命題提出；這個符號本身並不能證明公式。
弗雷格的斷言符號於1879年首次出現在 Begriffsschrift。橫線引出內容，直線則標示作出判斷的行為。
後來的邏輯記號以相關的 turnstile 符號，區分可證性與語意蘊涵。
形式邏輯中的專業記號。
以⊢或⊨替換前，先確認該系統的定義。
不要與它混淆
2⊦ 的輸入方式
Windows (Word)
Alt+X輸入 22A6，再按 Alt+X 即可得到 ⊦。
Windows
Win+R執行 charmap 查看完整表格，或使用表情符號選擇器的 Ω 分頁（Win + .）。
macOS
Control+Command+Space開啟字元檢視器並搜尋「assertion」。
Linux
Ctrl+Shift+U輸入 22a6，再按 Enter 或 Space。
HTML
⊦CSS
\22A6Unicode 輸入
若作業系統已啟用 Unicode 十六進位輸入，請輸入 U+22A6。
LaTeX (STIX Two)
載入 `stix2`，並在數學模式中使用 `\assert`。
代碼與編碼碼位數：1
HTML 十進位
⊦
HTML 十六進位
⊦
CSS 內容
content: "\22A6";
每個跳脫序列在下一個反斜線處結束；若後面直接接十六進位數字字元，必須先加空格。
URL 編碼
%E2%8A%A6
1
畫面上
1
碼位
1
JS .length
3
UTF-8 位元組
一個可見符號可能包含多個碼位。JS .length 計算 UTF-16 單位；UTF-8 計算位元組。