Mathematica 9 is now available
 Documentation / Mathematica / The Mathematica Book / Reference Guide / Listing of Named Characters /
DoubleLeftTee
\[DoubleLeftTee]
  • Infix operator.
  • x


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


    y


    z groups as (x


    y)


    z.
  • Used in mathematics to indicate various strong forms of logical implication of x from yoften tautological implication.
  • See The Mathematica Book: Section 3.10.4, Section 3.10.4.
  • See also: \[LeftTee], \[DoubleRightTee].


    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.