\[DoubleRightArrow]

• Unicode: 21D2.

• エイリアス：Esc => Esc

• 中置形の矢印演算子．

• x y はデフォルトでDoubleRightArrow[x, y]として解釈される．

• 数学で各種収束の強形式を示すのに使用される．

• また代数体拡張にも使用される．

• \[Implies]とは異なる．

• 伸長可能文字．