\[DoubleRightArrow]

  • Unicode: 21D2.
  • エイリアス：␣=>
  • 中置形の矢印演算子．
  • x y はデフォルトでDoubleRightArrow[x,y]として解釈される．
  • 数学で各種収束の強形式を示すのに使用される．
  • また代数体拡張にも使用される．
  • \[Implies]とは異なる．
  • 伸長可能文字．