\[Implies]

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