Documentation Publicon Reference Special Characters
DoubleDownArrow
\[DoubleDownArrow]
• Infix arrow operator. • x y is by default interpreted as DoubleDownArrow[x, y]. • Extensible character.• See also: \[DownArrow] , \[DoubleUpArrow] .
\[DoubleDownArrow]
y is by default interpreted as DoubleDownArrow[x, y]. 