Documentation Publicon Reference Special Characters
RightTee
\[RightTee]
• Alias: rT. • 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. • See also: \[DoubleRightTee] , \[RightTeeArrow] , \[RightTeeVector] , \[LeftTee] , \[DownTee] , \[RightBracketingBar] .
\[RightTee]
rT
y is by default interpreted as RightTee[x, y]. 
y 
z groups as x 
(y 
z). 