⊸の意味
Bを得るために、入力資源Aを使い切ります。
線形論理は、資源を追跡しながら推論する体系です。前提を理由なく何度も使ったり、捨てたりはできません。A ⊸ B では、含意を適用するとAが消費され、Bが得られます。
ジャン＝イヴ・ジラールは1987年に線形論理を導入しました。その記法では、⊸が線形含意を表します。
線形論理や、資源の使用を追跡するプログラミングの型システムで使う専門的な記法です。
単なる「AならばB」と読まないでください。適用するとAが消費されます。
よくある質問
1⊸は→と同じですか？
いいえ。線形論理では、⊸は資源の使用を追跡します。通常の→だけでは、その規則は表されません。線形論理だと明示されていない場合は、その文脈で示された定義に従ってください。
⊸の入力方法
Windows (Word)
Alt+X22B8を入力してAlt+Xを押すと⊸になります。
Windows
Win+Rcharmapで文字一覧を開くか、絵文字ピッカーのΩタブ（Win + .）を使います。
macOS
Control+Command+Space文字ビューアを開き、「multimap」を検索します。
Linux
Ctrl+Shift+U22b8を入力してEnterまたはSpaceを押します。
HTML
⊸CSS
\22B8コードと文字コードコードポイント数：1
HTML 十進数
⊸
HTML 十六進数
⊸
CSS 内容
content: "\22B8";
各エスケープは次のバックスラッシュで終わります。直後に十六進数字を文字として置く場合は空白が必要です。
URL エンコード
%E2%8A%B8
1
画面上
1
コードポイント
1
JS .length
3
UTF-8 バイト数
画面上の記号は複数のコードポイントを含む場合があります。JS .length は UTF-16 単位、UTF-8 はバイトを数えます。