⊩の意味
条件が式を強制することを表します。
集合論では、強制関係 ⊩ は条件と式を結び付けます。条件とは選択の一部を決めたもので、それを拡張するとより大きなモデルができます。p ⊩ φ は、p を含む適切な拡大すべてで式 φ が真になることを表します。ポール・コーエンは1963年、この方法を提案し、連続体仮説（無限集合の大きさに関する命題）が通常の集合論の公理から独立かどうかを調べました。つまり、その公理から仮説もその否定も証明できないかを調べたのです。
二重ターンスタイルにはほかの形式的な読み方もあります。様相意味論では w ⊩ φ が、世界または状態 w で φ が成り立つことを表す場合があります。真理製作者理論では、状態が文を真にする関係を表します。
専門的な数学記法です。読み方は形式体系の分野やそこでの定義によって変わります。
形式的な関係を変えずに ⊩ を ⊢ や ⊨ と置き換えないでください。
誰かが送ってきたときの意味
解釈：3集合論の証明で：p ⊩ φ
条件 p を含む適切なモデル拡大すべてで、p が φ を強制する。
様相意味論で：w ⊩ φ
世界または状態 w で式 φ が成り立つ。
真理製作者理論で：s ⊩ φ
状態 s が式 φ を真にする。
〜と混同しないで
2⊩の入力方法
Windows (Word)
Alt+X22A9を入力してAlt+Xを押すと⊩になります。
Windows
Win+Rcharmapで文字一覧を開くか、絵文字ピッカーのΩタブ（Win + .）を使います。
macOS
Control+Command+Space文字ビューアを開き、「forces」を検索します。
Linux
Ctrl+Shift+U22a9を入力してEnterまたはSpaceを押します。
HTML
⊩CSS
\22A9⊩ の入力方法
TeX では `\Vdash` を使います。Word では `22A9` と入力して `Alt+X` を押します。Linux では Unicode 入力で `Ctrl+Shift+U`、`22A9`、`Enter` の順に入力します。
コードと文字コードコードポイント数：1
HTML 十進数
⊩
HTML 十六進数
⊩
CSS 内容
content: "\22A9";
各エスケープは次のバックスラッシュで終わります。直後に十六進数字を文字として置く場合は空白が必要です。
URL エンコード
%E2%8A%A9
1
画面上
1
コードポイント
1
JS .length
3
UTF-8 バイト数
画面上の記号は複数のコードポイントを含む場合があります。JS .length は UTF-16 単位、UTF-8 はバイトを数えます。