\[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] .
Usage
\[DownTeeArrow] Notes
y is by default interpreted as DownTeeArrow[x, y]. 
