MATHEMATICA CHARACTER NAME

\[RightTee]

Unicode: 22A2.
Alias: EscrTEsc.
Infix operator.
x y is by default interpreted as .
x y z groups as x (y z).
Used in mathematics to indicate logical implication or proof.

See Also See Also

\[DoubleRightTee] \[RightTeeArrow] \[RightTeeVector] \[LeftTee] \[DownTee] \[RightBracketingBar]

Tutorials Tutorials

Related Guides Related Guides

Listing of Named Characters

Mathematica 9 is now available!

400+ new features, including the new Wolfram Predictive Interface, social network analysis, enterprise CDF deployment, and more »

Try Now

Buy/Upgrade

New to Mathematica? Find your learning path »

Have a question? Ask support »

© 2013 About Wolfram