⇟
Downwards Arrow with Double Stroke Symbol (⇟)
Copy the Downwards Arrow with Double 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 downwards arrow with double stroke (⇟) is an arrow character from the Unicode Arrows block that points downwards. 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 name | DOWNWARDS ARROW WITH DOUBLE STROKE |
| Code point | U+21DF |
| Decimal | 8671 |
| Unicode block | Arrows |
| HTML entity | ⇟ · ⇟ |
| CSS | \21DF |
| JavaScript / JSON | \u21DF |
| Python | \u21DF or \N{DOWNWARDS ARROW WITH DOUBLE STROKE} |
| UTF-8 bytes | E2 87 9F |
| LaTeX | paste ⇟ 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
21DFthen press Alt+X. In any app, Win+. opens the symbol panel. - Mac: switch to the Unicode Hex Input keyboard, hold Option and type
21DF; or press Ctrl+Cmd+Space and search “downwards arrow with double stroke”. - Linux (GTK/IBus): press Ctrl+Shift+U, type
21df, 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 21DF 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.