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  /

  • Infix operator.
  • x

    y is by default interpreted as DoubleRightTee[x,y].
  • x


    z groups as x


  • Used in mathematics to indicate various strong forms of logical implicationoften tautological implication.
  • In prefix form, used to indicate a tautology.
  • See The Mathematica Book: Section 3.10.4Section 3.10.4.
  • See also: \[RightTee], \[DoubleLeftTee].