Documentation Publicon Reference Special Characters
DownTeeArrow
\[DownTeeArrow]
• Infix arrow operator. • x y is by default interpreted as DownTeeArrow[x, y]. • Extensible character.• See also: \[DownArrowBar] , \[RightDownTeeVector] , \[DownTee] , \[UpTeeArrow] .
\[DownTeeArrow]
y is by default interpreted as DownTeeArrow[x, y]. 