⇓

Down Double Arrow

Unicode
U+21D3
Category
Arrows
HTML Entity
⇓
CSS
\21D3
The Down Double Arrow (⇓) is a standard Unicode character featuring two parallel vertical lines pointing downward to a single arrowhead. Originally designed for mathematical and technical formatting, it frequently represents logical evaluation or limits in formal systems. In casual digital spaces, people often use it to heavily emphasize a link, image, or comment directly below their text.

How to Type

Windows
Alt+8659
macOS
Control+Command+Space then search "downwards double arrow"
Linux
Ctrl+Shift+U then 21D3
HTML
⇓

In Programming

In computer science and mathematics, this symbol is commonly used in operational semantics (often called "big-step semantics") to denote that a specific expression evaluates to a final value.

Read full meaning article

Tags

U+21D3 arrow direction double double arrow down down down double arrow downward double arrow emphasis below implies down logical evaluation look below points down unicode arrow

Related Symbols

← Left Arrow ↑ Up Arrow → Right Arrow ↓ Down Arrow ↔ Left Right Arrow ↕ Up Down Arrow ↖ North West Arrow ↗ North East Arrow ↘ South East Arrow ↙ South West Arrow ↞ Left Two Headed Arrow ↠ Right Two Headed Arrow