PRODUCTS
PURCHASE
FOR USERS
COMPANY
OUR SITES
DOCUMENTATION CENTER SEARCH
Mathematica
>
Special Characters
>
Mathematica
Character Name
\[RightTee]
Unicode: 22A2.
Alias:
Esc
rT
Esc
.
Infix operator.
x
y
is by default interpreted as
RightTee[
x
,
y
]
.
x
y
z
groups as
x
(
y
z
)
.
Used in mathematics to indicate logical implication or proof.
TUTORIALS
Other Mathematical Notation
Operators
SEE ALSO
\[DoubleRightTee]
\[RightTeeArrow]
\[RightTeeVector]
\[LeftTee]
\[DownTee]
\[RightBracketingBar]
MORE ABOUT
Listing of Named Characters
© 2008 Wolfram Research, Inc.
