Doppelpfeil nach unten

Oft: Aus dem oberen Schritt folgt der untere. Der doppelte Schaft macht ⇓ zur senkrechten Form von ⇒, dem Folgepfeil, und in Mitschriften, Folien und Lösungen, die die Seite oder Tafel hinunterlaufen, liest man ihn meist so: eine Bedingung, dann ⇓, dann die Folgerung. Eine einzige amtliche Bedeutung hat er aber nicht; Formel, Beschriftung oder Legende entscheiden.

In Flussdiagrammen markiert er einen Ablauf nach unten. In der Theorie der Programmiersprachen ist e ⇓ v eine gängige Schreibweise für „Ausdruck e wertet zu Wert v aus“.

Außerhalb von Formeln, in einem Post, einer Mail oder auf einer Folie, ist ⇓ nur ein Hinweis: unten schauen, runterscrollen, hier ist der Link oder Download. Er ist kein „stärkeres Unten“ als ↓.

Wie tippe ich ⇓?

Es gibt keine eigene Taste; nimm einen Code oder die Zeichenauswahl. In LaTeX \Downarrow im Mathematikmodus, in HTML ⇓. In Microsoft Word 21D3 tippen und Alt+X drücken. Am Mac die Zeichenübersicht öffnen und „Doppelpfeil“ suchen; unter Linux-Oberflächen wie GNOME Strg+Umschalt+U, dann 21d3 und Enter. Auf Handytastaturen sollte man ihn nicht erwarten.