Skip to content
Free forever, no sign up

U+21D0 · Arrows

Double Left Arrow ⇐

The leftwards double arrow is the standard sign for reverse implication in logic: A ⇐ B means A holds whenever B does, or "A is implied by B." Outside proofs it appears in lecture notes, flowcharts and technical documentation to show that a result depends on the condition written to its right.

UnicodeU+21D0
HTML⇐
⇐U+21D0

Character codes

Unicode code pointU+21D0
Decimal8656
HTML named entity⇐
HTML (hex)⇐
HTML (decimal)⇐
CSS\21D0
JavaScript\u21D0
Python\u21D0
UTF-8 bytesE2 87 90
UTF-1621D0
URL-encoded%E2%87%90

Character details

Official nameLEFTWARDS DOUBLE ARROW
Unicode blockArrows
General categoryOther Symbol (So)
SymbolHero categoryArrows
EmojiNo

How to type ⇐

Windows

  • In Microsoft Word or Outlook: type 21D0 then press Alt + X.
  • Open Character Map (search “Character Map” in Start), tick “Advanced view”, search for “leftwards double arrow”, then Select and Copy.

Mac

  • Press Control + Command + Space to open the Character Viewer, search “leftwards double arrow”, and double-click the result.
  • With the Unicode Hex Input keyboard enabled (System Settings → Keyboard → Input Sources), hold Option and type 21D0.

iPhone & Android

  • Tap Copy at the top of this page, then long-press where you want it and choose Paste.

Docs & web

  • Google Docs: Insert → Special characters, then search “leftwards double arrow” or enter U+21D0.
  • HTML: ⇐ or ⇐
  • Excel / Google Sheets: =UNICHAR(8656)

Examples

  • x = 2 ⇐ x + 3 = 5
  • Valid ⇐ signed and dated
  • ⇐ Back to chapter 3

Good to know

Don’t mix it up: It is often confused with the longer ⟸ (U+27F8, LONG LEFTWARDS DOUBLE ARROW), which some typesetters prefer in displayed equations.

Tip: In HTML you can write the named entity ⇐ instead of pasting the character.

Display: the character itself is always the same code point, but its shape comes from the font on the device showing it. If you see an empty box, the font lacks this glyph—the text is still correct.

Guides

How to Type Arrow Symbols (→ ← ↑ ↓)

Similar arrows

Left Arrow
Up Arrow
Right Arrow
Down Arrow
Left Right Arrow
Up-Down Arrow Emoji
Counterclockwise Arrow
Clockwise Arrow
Double Right Arrow
Double Left Right Arrow
Shift Key Symbol
Caps Lock Symbol
Control Key Symbol
Escape Symbol
Long Left Arrow
Long Right Arrow
Modifier Letter Left Arrowhead
Modifier Letter Right Arrowhead
Modifier Letter Up Arrowhead
Modifier Letter Down Arrowhead

See all 641 arrows →

Questions

What is the Unicode for ⇐?

It is U+21D0 (LEFTWARDS DOUBLE ARROW), decimal 8656.

Is there a Windows Alt code for it?

No standard Alt code exists for this character. In Word type 21D0 then Alt+X, or copy it from this page.

How do I type it on a Mac?

There is no built-in Option shortcut. Use the Character Viewer (Control + Command + Space) and search “leftwards double arrow”, or copy it from this page.

What is the HTML code?

Use the named entity ⇐ or the numeric reference ⇐.