Downwards Double Arrow

The Downwards Double Arrow at U+21D3 is a double-stroked arrow pointing downward, used to show descent, downward movement, or a relation directed from one line or level to another. It is part of the Unicode Arrows block, which collects directional symbols for mathematical, technical, and typographic notation. In formal writing, ⇓ appears most often in mathematics, logic, and computer science notes as a visually strong downward mapping, derivation, or consequence marker. For example, an author may place it between two displayed formulas to mean that the lower statement follows from the upper one, or use it in an operational-semantics rule to show evaluation down to a result. In diagrams, flowcharts, teaching materials, and interface sketches, it can label “move down,” “scroll down,” “download,” “lower level,” or “decrease,” especially when a plain down arrow would not stand out enough. In casual text it may also point readers to content below, as in “details ⇓,” but its meaning is convention-based and less fixed than common symbols such as ↓ or ⇒.