/ Reference of Built-in Symbols /
Operators without Built-in Meanings / Infix Operators without Built-in Meanings / DoubleDownArrow /

DoubleDownArrow (`⇓`)

DoubleDownArrow[x, y, ...]: displays x ⇓ y ⇓ ...

- DoubleDownArrow[x, y, z]
- a \[DoubleDownArrow] b

← DotEqual

→ DoubleLeftArrow