Mathematica 9 is now available
 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.4, Section 3.10.4.
  • See also: \[RoundImplies], \[SuchThat], \[RightArrow], \[Rule].


    Any questions about topics on this page? Click here to get an individual response.Buy NowMore Information
    THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
    SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.