DownArrowBar
 Usage
 \[DownArrowBar]
Notes
• 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] .
|
