SymbolHub

Double Right Arrow (⇒)

The double right arrow ⇒ is Unicode U+21D2, the double arrow that means “implies” in logic and maths. Press Copy to put it on your clipboard.

Unicode
U+21D2
HTML
⇒
Word
21D2 Alt+X

How to type the double right arrow (⇒)

The quickest way is to press Copy above and paste. To type ⇒ yourself, use the method for your device below.

Windows

  1. In Word or Outlook, type 21D2 and press Alt + X. Alt + X converts the hex code before the cursor into the character, and back again.
  2. Press Win + R, type charmap and press Enter. Tick “Advanced view”, search for Rightwards Double Arrow, then Select and Copy. Character Map is built into every version of Windows.

Mac

  1. Press Control + Command + Space to open the Character Viewer, search for rightwards double arrow and double-click it.
  2. With the Unicode Hex Input keyboard enabled (System Settings → Keyboard → Input Sources), hold Option and type 21D2.

Linux & ChromeOS

  1. Press Ctrl + Shift + U, type 21d2, then press Enter or Space. Works in GTK and IBus apps (GNOME, Firefox, Chrome, LibreOffice) and on ChromeOS.

iPhone & iPad

  1. Copy ⇒ from this page, then go to Settings → General → Keyboard → Text Replacement and add it with a shortcut such as ;doub. The shortcut then turns into the symbol as you type, in every app.

Android

  1. Copy ⇒ here, then open Gboard settings → Dictionary → Personal dictionary and add it with a shortcut.

Microsoft Word

  1. Type ==> and Word's AutoCorrect replaces it with ⇒.
  2. Type 21D2, then press Alt + X.
  3. Insert → Symbol → More Symbols. Set “from” to Unicode (hex), type 21D2 in “Character code” and click Insert.

Google Docs

  1. Insert → Special characters, then search for “rightwards double arrow” or draw it in the box.

Excel & Google Sheets

  1. Enter =UNICHAR(8658) in a cell. It works in Excel 2013 and later and in Google Sheets.

HTML

  1. Write ⇒ or ⇒ in your HTML.

What does ⇒ mean?

The double right arrow ⇒ is the standard symbol for implication in mathematics and logic. “P ⇒ Q” reads “P implies Q”: whenever P is true, Q must be true too. A proof might say “x is even ⇒ x² is even”. Its partners are ⇐ (is implied by) and ⇔ (if and only if).

Outside maths, people use ⇒ as a strong version of → meaning results in or therefore, especially in notes and slides: “late delivery ⇒ refund”. Some logic texts prefer → or ⊃ for implication, so follow the convention of your course or field.

⇒ has no alt code, but Word’s AutoCorrect replaces ==> with ⇒, and the HTML entity is ⇒. In LaTeX, write \Rightarrow; for the longer ⟹ use \implies.

Common uses

  • Proofs: n is divisible by 4 ⇒ n is even
  • Lecture notes: demand ↑ ⇒ price ↑
  • Checklists: “Step failed ⇒ contact support”

Double Right Arrow codes for HTML, CSS and programming

Every code below produces ⇒. Use the HTML entity in web pages, the CSS escape in content, and the escape sequence in source code.

Unicode code pointU+21D2
HTML entity (named)⇒
HTML decimal⇒
HTML hex⇒
CSS contentcontent: "\21D2";
JavaScript"\u21D2"
Python"\u21D2"
Python (by name)"\N{RIGHTWARDS DOUBLE ARROW}"
Java / C#"\u21D2"
LaTeX\Rightarrow
UTF-8 bytesE2 87 92
UTF-1621D2
URL encoded%E2%87%92

⇒ vs look-alike characters

These characters look similar to ⇒ but have a different meaning and code. Pasting the wrong one can break search, sorting and screen readers.

CharNameWhen to use it
Rightwards Arrow
U+2192		The single right arrow, used for functions, limits and “leads to”.
Long Rightwards Double Arrow
U+27F9		Long rightwards double arrow (U+27F9), the display-maths form of “implies”.
Left Right Double Arrow
U+21D4		Left right double arrow, “if and only if”.
Superset of
U+2283		Superset, used for implication in some older logic books.

Symbols similar to ⇒

Click to copy, or open a symbol for its codes. See the full arrow symbols collection.

⇒ character properties

Official Unicode name
RIGHTWARDS DOUBLE ARROW
Also known as
implies symbol, rightwards double arrow, therefore arrow
Code point
U+21D2
Unicode block
Arrows (U+2190–U+21FF)
General category
Math symbol (Sm)
Added in
Unicode 1.1 (1993)
Plane
Basic Multilingual Plane (0)
Emoji
No, it is a text symbol

Frequently asked questions

What does ⇒ mean?

It means “implies”: if the statement on the left is true, the statement on the right is also true. In informal notes it can also mean “results in”.

How do I type ⇒ in Word?

Type ==> and AutoCorrect replaces it with ⇒. You can also type 21D2 and press Alt + X.

Is ⇒ the same as →?

Not quite. → is mostly used for functions and limits, while ⇒ is the usual symbol for logical implication.

Is there an alt code for the double right arrow?

No. ⇒ is outside the Windows-1252 and code page 437 character sets, so no Alt + number code produces it. Copy it from this page, type 21D2 then Alt + X in Word, or find it in Character Map.

How do I type the double right arrow on a Mac?

There is no single Option shortcut for ⇒ on the US layout. Press Control + Command + Space to open the Character Viewer, search for “rightwards double arrow” and double-click it, or copy it from this page.

What is the HTML code for the double right arrow?

Use the named entity ⇒ or the numeric reference ⇒ (hex ⇒). All three display ⇒ in every browser.

What is the Unicode for the double right arrow?

⇒ is U+21D2, officially named RIGHTWARDS DOUBLE ARROW, in the Arrows block. It has been part of Unicode since version 1.1 (1993).