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