Documentation Publicon Reference Special Characters
RightDownVectorBar
\[RightDownVectorBar]
• Infix arrow-like operator. • x y is by default interpreted as RightDownVectorBar[x, y]. • Extensible character.• See also: \[LeftDownVectorBar] , \[RightDownTeeVector] , \[DownArrowBar] , \[RightUpVectorBar] .
\[RightDownVectorBar]
y is by default interpreted as RightDownVectorBar[x, y]. 