DoubleDownArrow
\[DoubleDownArrow]
Infix-Pfeiloperator. x y wird vorgabemäßig als DoubleDownArrow[x, y] interpretiert. Streckbares Zeichen. Siehe Das Mathematica Buch: 3.10.4. Siehe auch: \[DownArrow], \[DoubleUpArrow].