Documentation Publicon Reference Special Characters
LeftTeeArrow
\[LeftTeeArrow]
• Infix arrow operator. • x y is by default interpreted as LeftTeeArrow[x, y]. • Extensible character.• See also: \[LeftTeeVector] , \[LeftTee] , \[RightTeeArrow] , \[DownTeeArrow] .
\[LeftTeeArrow]
y is by default interpreted as LeftTeeArrow[x, y]. 