DOCUMENTATION CENTER SEARCH
Mathematica
>
Special Characters
>
Mathematica
Character Name
\[LeftTee]
Unicode: 22A3.
Alias:
Esc
lT
Esc
.
Infix operator.
x
y
is by default interpreted as
LeftTee[
x
,
y
]
.
x
y
z
groups as
(
x
y
)
z
.
Used in mathematics to indicate the lack of logical implication or proof.
TUTORIALS
Operators
SEE ALSO
\[DoubleLeftTee]
\[LeftTeeArrow]
\[LeftTeeVector]
\[RightTee]
\[DownTee]
\[LeftBracketingBar]
MORE ABOUT
Listing of Named Characters
© 2008 Wolfram Research, Inc.
