This is documentation for Mathematica 3, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.2)
 Documentation / Mathematica / The Mathematica Book / Reference Guide / Listing of Named Characters  /
Implies

\[Implies]
  • Alias: =>.
  • 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).
  • Not the same as \[DoubleRightArrow].
  • \[DoubleRightArrow] is extensible; \[Implies] is not.
  • See The Mathematica Book: Section 1.10.4, Section 3.10.1, Section 3.10.4Section 3.10.4.
  • See also: \[RoundImplies], \[SuchThat], \[RightArrow], \[Rule].