RightTee
 Usage
 \[RightTee]
Notes
• 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 Section 1.10.8, Section 3.10.4 and Section 3.10.4. • See also: \[DoubleRightTee] , \[RightTeeArrow] , \[RightTeeVector] , \[LeftTee] , \[DownTee] , \[RightBracketingBar] .
| 
