\[DoubleLongRightArrow]

  • Unicode: 27F9.
  • エイリアス：==>
  • 中置形の矢印演算子．
  • x y はデフォルトでDoubleLongRightArrow[x,y]として解釈される．