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.

\[RightTee]\[RightTeeVector]

RightTeeArrow

RightTeeArrow \[RightTeeArrow]

FilledSmallSquare Infix arrow operator.

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

FilledSmallSquare Used in mathematics to indicate a transformation, often the action of a mapping on a specific element in a space.

FilledSmallSquare Also used in logic to indicate deducibility.

FilledSmallSquare Extensible character.

FilledSmallSquare See The Mathematica Book: Section 3.10.4.

FilledSmallSquare See also: \[RightTeeVector] , \[RightTee] , \[LeftTeeArrow] , \[UpTeeArrow] .

\[RightTee]\[RightTeeVector]