Double Right Arrow Implies symbol
Type :implies: · Arrows
What ⇒ is for
The implication arrow in formal logic: if the left side holds, the right side follows. Also used loosely for "therefore" in prose, which purists will tell you is what the therefore sign is for.
How to type ⇒
The shortcuts below are the built-in routes. With
Emoji Anywhere
installed you can skip all of them and type
:implies: in any text field instead, which
is the same on every platform.
macOS
No direct shortcut. Use Edit → Emoji & Symbols, or switch to the Unicode Hex Input
source and type 21D2
with Option held.
Windows
No Alt code. In Word, type 21D2 then press Alt +
X. Elsewhere use the emoji panel with Win + Period, or Character Map.
Shortcodes
:implies: :double_right_arrow_implies: On the web
HTML ⇒
Unicode U+21D2
What ⇒ gets mistaken for
single right arrow
A plain step or mapping, with no claim of logical implication.
More from arrows
:arrow: ← :larrow: ↑ :uparrow: ↓ :downarrow: ↔ :left_right_arrow: ↕ :up_down_arrow: ↖ :up_left_arrow: ↗ :up_right_arrow: ↘ :down_right_arrow: ↙ :down_left_arrow: ⇐ :double_left_arrow: ⇑ :double_up_arrow: Every symbol and kaomoji is in the full gallery .
Tired of copying ⇒ from pages like this one?
That is exactly what the extension removes. Here is the whole interaction, in every text field you already use:
You type
You get
Your keyboard already knows what you mean
Free, 280 KB, no account. Two letters from now you will never open an emoji panel again.