⇒の意味
A ⇒ B は「A ならば B」と読みます。 この矢印は、左から右への論理的な帰結を示すもので、逆向きにもたどれるという意味ではありません。B ⇒ A を示すには別の証明が必要です。
数学での矢印表記には歴史があります。一重の矢印 → は数学者ヒルベルトの1922年の著作に、二重矢印 ⇒ は1954年のブルバキの数学表記に見られます。
数式や証明の手順に適した、数学の省略表記です。
「必要十分」、つまり両方向が成り立つことを示す場合は ⇒ を使わないでください。
〜と混同しないで
2⇒の入力方法
Windows (Word)
Alt+X21D2を入力してAlt+Xを押すと⇒になります。
Windows
Win+Rcharmapで文字一覧を開くか、絵文字ピッカーのΩタブ（Win + .）を使います。
macOS
Control+Command+Space文字ビューアを開き、「rightwards double arrow」を検索します。
Linux
Ctrl+Shift+U21d2を入力してEnterまたはSpaceを押します。
HTML
⇒CSS
\21D2LaTeX
LaTeX文書では数式モードで \Rightarrow を入力します。例：$A \Rightarrow B$。
コードと文字コードコードポイント数：1
HTML 十進数
⇒
HTML 十六進数
⇒
CSS 内容
content: "\21D2";
各エスケープは次のバックスラッシュで終わります。直後に十六進数字を文字として置く場合は空白が必要です。
URL エンコード
%E2%87%92
1
画面上
1
コードポイント
1
JS .length
3
UTF-8 バイト数
画面上の記号は複数のコードポイントを含む場合があります。JS .length は UTF-16 単位、UTF-8 はバイトを数えます。