\[Implies]

  • Unicode: F523.
  • エイリアス：=>
  • 評価規則組込みの中置形演算子．
  • x y はデフォルトでImplies[x,y]として解釈される．
  • x y z はx (y z)とグループ分けされる．
  • \[DoubleRightArrow]とは異なる．
  • \[DoubleRightArrow]は伸張可能であるが\[Implies]は不可である．