|
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 The Mathematica Book: Section 1.10.8, Section 3.10.4 and Section 3.10.4.
See also: \[DoubleRightTee] , \[RightTeeArrow] , \[RightTeeVector] , \[LeftTee] , \[DownTee] , \[RightBracketingBar] .
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT. SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION. | |