⇷

Leftwards Arrow with Vertical Stroke Symbol (⇷)

Copy the Leftwards Arrow with Vertical Stroke symbol ⇷ to your clipboard, and see its Unicode code point, HTML entity, LaTeX command and how to type it on any device.

What does ⇷ mean?

The leftwards arrow with vertical stroke (⇷) is an arrow character from the Unicode Arrows block that points to the left. The stroke through the arrow negates it, so it reads “does not map to”, “does not lead to” or “does not imply”, depending on the notation.

Codes and properties

Character⇷
Unicode nameLEFTWARDS ARROW WITH VERTICAL STROKE
Code pointU+21F7
Decimal8695
Unicode blockArrows
HTML entity⇷ · ⇷
CSS\21F7
JavaScript / JSON\u21F7
Python\u21F7 or \N{LEFTWARDS ARROW WITH VERTICAL STROKE}
UTF-8 bytesE2 87 B7
LaTeXpaste ⇷ with unicode-math (XeLaTeX/LuaLaTeX)

How to type ⇷

  • Copy & paste: press the Copy button above, then paste ⇷ anywhere — Word, Google Docs, email, chat or code.
  • Windows (Word, WordPad, Outlook): type 21F7 then press Alt+X. In any app, Win+. opens the symbol panel.
  • Mac: switch to the Unicode Hex Input keyboard, hold Option and type 21F7; or press Ctrl+Cmd+Space and search “leftwards arrow with vertical stroke”.
  • Linux (GTK/IBus): press Ctrl+Shift+U, type 21f7, then Space.
  • HTML: ⇷ renders as ⇷.
  • LaTeX: standard LaTeX has no dedicated command; compile with XeLaTeX or LuaLaTeX and the unicode-math package, then paste ⇷ directly.

Frequently asked questions

How do I type ⇷ on Windows?

In Microsoft Word type 21F7 and press Alt+X. In any app press Win+. to open the symbol panel, or copy ⇷ from this page.

What is the HTML code for ⇷?

Use ⇷ (hex) or ⇷ (decimal).

What is the LaTeX command for ⇷?

There is no standard command; use XeLaTeX or LuaLaTeX with unicode-math and paste ⇷ directly.

Related symbols