What ⤓ means
It marks a downward relation ending at a bar. The rest of the formula defines the relation.
The MathML arrow DownArrowBar is a stretchy infix operator: it sits between expressions and can lengthen to fit them. Fonts without it may show a box or fallback shape.
Should ⤓ mark a download?
Only when the interface labels it. No universal download meaning is attached.
In text, a label or familiar download icon is clearer.
Technical and notation-dependent.
Don't confuse it with
4
Downwards Arrow
Plain down arrow; no bar.
Downwards Arrow From Bar
Its bar starts the arrow; ⤓ ends there.
Downwards White Arrow
A broad outlined arrowhead; ⤓ ends at a separate bar.
Downwards Triangle-Headed Arrow To Bar
⭳ is the same arrow-to-bar shape with a triangular head, and some fonts make the two look nearly identical.
Related characters
3
Upwards Arrow To Bar
Upward counterpart; both end at a bar.
Rightwards Arrow To Bar
⇥ Rightwards Arrow To Bar is the same arrow-to-bar design pointing right. It is the familiar Tab key symbol.
Leftwards Arrow To Bar
⇤ Leftwards Arrow To Bar is the leftward member of the arrow-to-bar family and often marks Shift+Tab.
Combination ideas
4Download the document
Download the song
Download the app
Jump to the top or the bottom
Questions people ask
1Why does ⤓ show as a box on some devices?
Because that device's fonts have no glyph for it. The character is still correct and still copies correctly — the box is a missing glyph, not a broken character.
More like this
12
Collections with ⤓
2
How to type or find ⤓
- Also called
- DownArrowBar
- Search it as
- down arrow · MathML arrow · download arrow
- Shows up in
- Anything that takes text · its shape is whatever your font draws
Windows (Word)
Windows
HTML
⤓CSS
\2913MathML/XML
Use the hexadecimal character reference
⤓; a Unicode picker may list it as DownArrowBar.Codes and encoding1 code points
HTML decimal
⤓
HTML hex
⤓
CSS content
content: "\2913";
Each escape is closed by the next backslash; a trailing space is needed before a literal hex digit.
URL encoded
%E2%A4%93
1
On screen
1
Code points
1
JS .length
3
UTF-8 bytes
A visible symbol can contain several code points. JS .length counts UTF-16 units; UTF-8 counts bytes.