DocumentationMathematicaThe Mathematica BookMathematica Reference GuideListing of Named Characters
DownTeeArrow
\[DownTeeArrow]
Infix arrow operator. x y is by default interpreted as DownTeeArrow[x, y]. Extensible character. See Section 3.10.4. See also: \[DownArrowBar] , \[RightDownTeeVector] , \[DownTee] , \[UpTeeArrow] .