|
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 Section 3.10.4.
See also: \[DownTeeArrow] , \[DownArrow] , \[LeftDownVectorBar] , \[UpArrowBar] .
|