Documentation Publicon Reference Special Characters
DownLeftVectorBar
\[DownLeftVectorBar]
• Infix arrow-like operator. • x y is by default interpreted as DownLeftVectorBar[x, y]. • Extensible character.• See also: \[LeftVectorBar] , \[LeftTeeVector] .
\[DownLeftVectorBar]
y is by default interpreted as DownLeftVectorBar[x, y]. 