DOCUMENTATION CENTER SEARCH

New to Mathematica? Find your learning path »

Mathematica > Notebooks and Documents > Special Characters > \[LeftTee] >

MATHEMATICA CHARACTER NAME

\[LeftTee]

Unicode: 22A3.

Alias: Esc lT Esc.

Infix operator.

x y is by default interpreted as .

x y z groups as (x y) z.

Used in mathematics to indicate the lack of logical implication or proof.

\[DoubleLeftTee] \[LeftTeeArrow] \[LeftTeeVector] \[RightTee] \[DownTee] \[LeftBracketingBar]

Operators

Listing of Named Characters

Ask a question about this page | Suggest an improvement | Leave a message for the team

Format: HTML | CDF