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 Section 1.10.8, Section 3.10.4 and Section 3.10.4.

See also: \[DoubleRightTee] , \[RightTeeArrow] , \[RightTeeVector] , \[LeftTee] , \[DownTee] , \[RightBracketingBar] .