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

DoubleRightArrow (`⇒`)

DoubleRightArrow[x, y, ...]: displays x ⇒ y ⇒ ...

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

← DoubleLongRightArrow

→ DoubleRightTee