HTML Entity for Down Arrow With Double Stroke (⇟)
What You'll Learn
How to display the Down Arrow With Double Stroke (⇟) in HTML using hexadecimal, decimal, and CSS escape methods. This character is U+21DF (DOWNWARDS ARROW WITH DOUBLE STROKE) in the Arrows block (U+2190–U+21FF)—a downward arrow with a double horizontal stroke, often used in logic notation, mathematical expressions, and technical documents.
Render it with ⇟, ⇟, or CSS escape \21DF. There is no named HTML entity for this symbol. For a single-stroke down arrow use ↓ (↓). For down with one horizontal stroke see the related horizontal-stroke variant in this arrow series.
⚡ Quick Reference — Down Arrow With Double Stroke
U+21DFArrows block
⇟Hexadecimal reference
⇟Decimal reference
—Use numeric codes only
Name Value
──────────── ──────────
Unicode U+21DF
Hex code ⇟
HTML code ⇟
Named entity (none)
CSS code \21DF
Related U+2193 = Down arrow (↓); horizontal-stroke variantsComplete HTML Example
This example demonstrates the Down Arrow With Double Stroke (⇟) using hexadecimal code, decimal HTML code, and a CSS content escape:
<!DOCTYPE html>
<html>
<head>
<style>
#point:after{
content: "\21DF";
}
</style>
</head>
<body>
<p>Down Arrow With Double Stroke using Hexadecimal: ⇟</p>
<p>Down Arrow With Double Stroke using HTML Code: ⇟</p>
<p id="point">Down Arrow With Double Stroke using CSS Entity: </p>
</body>
</html>🌐 Browser Support
U+21DF is widely supported in modern browsers when rendered with a font that includes Arrows:
👀 Live Preview
See the Down Arrow With Double Stroke (⇟) in logic and notation contexts:
🧠 How It Works
Hexadecimal Code
⇟ uses the Unicode hexadecimal value 21DF to display the Down Arrow With Double Stroke. The x prefix indicates hexadecimal format.
Decimal HTML Code
⇟ uses the decimal Unicode value 8671 to display the same character.
CSS Entity
\21DF is used in CSS stylesheets, particularly in the content property of pseudo-elements like ::before and ::after.
Same visual result
All three methods produce: ⇟. Unicode U+21DF. No named HTML entity—use numeric codes in markup.
Use Cases
The Down Arrow With Double Stroke (⇟) is commonly used in:
Entailment, deduction, or down-to-conclusion in formal logic and proofs.
Reduction, convergence, or directional operations with a double-stroke variant.
Specifications, proofs, or technical flows needing a distinct double-stroke arrow.
Downward flow with emphasis (double stroke) in process and logic diagrams.
Explain reduction steps, inference rules, or down-to relations in technical docs.
Distinct icon when single-stroke down arrows are also used in the same system.
💡 Best Practices
Do
- Use
⇟or⇟consistently in markup - Add
aria-labelwhen the symbol means reduces to or entails - Pair ⇟ with a legend in technical documents
- Use
\21DFin CSS::before/::afterfor logic or math icons - Serve pages with UTF-8 (
<meta charset="utf-8">)
Don’t
- Expect a named entity—none exists for U+21DF
- Confuse ⇟ (double stroke) with ↓ (
↓, plain down) - Put CSS escape
\21DFin HTML text nodes - Rely on the symbol alone without context in accessibility-critical UIs
- Assume decorative fonts include all Arrows glyphs
Key Takeaways
Two HTML numeric references render ⇟
⇟ ⇟For CSS stylesheets, use the escape in the content property
\21DFUnicode U+21DF — DOWNWARDS ARROW WITH DOUBLE STROKE
No named HTML entity—numeric codes only
Three methods, one glyph — widely supported in modern browsers
❓ Frequently Asked Questions
⇟ (hex), ⇟ (decimal), or \21DF in CSS content. There is no named entity. All produce ⇟.U+21DF (DOWNWARDS ARROW WITH DOUBLE STROKE). Arrows block (U+2190–U+21FF). Hex 21DF, decimal 8671. A downward arrow with a double horizontal stroke.⇟ or ⇟) go in markup. The CSS escape \21DF is used in stylesheets, typically in the content property of pseudo-elements. Same visual result, different layers of the stack.⇟ or ⇟ in HTML.Explore More HTML Entities!
Discover 1500+ HTML character references — arrows, symbols, math operators, and more.
About the author
8 people found this page helpful