Wolfram Mathematica Documentation Center
DOCUMENTATION CENTER SEARCH
New to Mathematica? Find your learning path »
Mathematica > Notebooks and Documents > Special Characters > \[DoubleLeftTee] >
MATHEMATICA CHARACTER NAME

\[DoubleLeftTee]

  • Unicode: 2AE4.
  • Infix operator.
  • x y is by default interpreted as .
  • x y z groups as (x y) z.
  • Used in mathematics to indicate various strong forms of logical implication of x from y—often tautological implication.
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team
Format:   HTML  |  CDF