Documentation Publicon Reference Special Characters
DownArrowBar
\[DownArrowBar]
• Infix arrow operator. • x y is by default interpreted as DownArrowBar[x, y]. • Sometimes used as an indicator of depth. • Extensible character.• See also: \[DownTeeArrow] , \[DownArrow] , \[LeftDownVectorBar] , \[UpArrowBar] .
\[DownArrowBar]
y is by default interpreted as DownArrowBar[x, y]. 