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