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

Related Symbols