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  /
RoundImplies

\[RoundImplies]
  • 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 \[Superset].
  • See The Mathematica Book: Section 3.10.4Section 3.10.4.
  • See also: \[Implies], \[SuchThat], \[RightArrow], \[Rule].