|
LeftDownVectorBar
\[LeftDownVectorBar]
Infix arrow-like operator.
x y is by default interpreted as LeftDownVectorBar[x, y].
Extensible character.
See Section 3.10.4.
See also: \[RightDownVectorBar] , \[LeftDownTeeVector] , \[DownArrowBar] , \[LeftUpVectorBar] .
|