This is documentation for Mathematica 6, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.1)
Mathematica Character Name

\[Implies]

  • Unicode: F523.
  • Alias: Esc => Esc.
  • Infix operator with built-in evaluation rules.
  • x  y is by default interpreted as Implies[x, y].
  • x  y  z groups as x  (y  z).