This is documentation for Mathematica 4, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.2)
Wolfram Research, Inc.

\[RightSkeleton]\[RightTeeArrow]

RightTee

RightTee \[RightTee]

FilledSmallSquare Alias: AliasIndicatorrTAliasIndicator.

FilledSmallSquare Infix operator.

FilledSmallSquarex y is by default interpreted as RightTee[x, y].

FilledSmallSquarex y z groups as x (y z).

FilledSmallSquare Used in mathematics to indicate logical implication or proof.

FilledSmallSquare See The Mathematica Book: Section 1.10.8, Section 3.10.4 and Section 3.10.4.

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

\[RightSkeleton]\[RightTeeArrow]