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

DoubleLongRightArrow (`⟹`)

DoubleLongRightArrow[x, y, ...]: displays x ⟹ y ⟹ ...

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

← DoubleLongLeftRightArrow

→ DoubleRightArrow