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