⇒
Right Double Arrow
- Unicode
- U+21D2
- Category
- Arrows
- HTML Entity
- ⇒
- CSS
- \21D2
The Right Double Arrow (⇒) is a distinct symbol featuring a two-lined shaft pointing to the right. In mathematics and formal logic, it is universally recognized as the "implies" operator, indicating that if the first statement is true, the second must also be true. Outside of technical fields, it frequently appears in digital typography and social media to forcefully direct a reader's attention to a link, conclusion, or next step.
How to Type
- Windows
- Alt + 8658 or Win + . then search
- macOS
- Control + Command + Space then search
- Linux
- Compose + = + >
- HTML
- ⇒ or ⇒
In Programming
In formal logic, ⇒ denotes logical implication. While developers typically type the ASCII equivalent (=>) for arrow functions or key-value pairs in code, mathematical software and documentation often render it as the true Unicode ⇒ for cleaner typography.
Tags
arrow
double
right
implies
therefore
direction