Doppelpfeil links

Unicode
U+21D0
Kategorie
Pfeile
HTML Entity
⇐
CSS
\21D0
Das Symbol ⇐ (Doppelpfeil links) zeigt zwei parallele Linien, die in einer Pfeilspitze nach links enden. In der Mathematik und Logik wird es häufig verwendet, um eine Rückwärtsimplikation („wird impliziert von“) darzustellen. Abseits von Formeln nutzt man den markanten Pfeil oft in Texten oder Benutzeroberflächen, um deutlich auf vorherige Seiten, Schritte oder links stehende Elemente hinzuweisen.

So tippen Sie

Windows
Alt + 8656
macOS
Control + Command + Space (dann nach „Pfeil“ suchen)
Linux
Strg + Umschalt + U, dann 21D0
HTML
⇐

In der Programmierung

In der formalen Logik und theoretischen Informatik steht der Pfeil für die logische Rückwärts-Implikation. In LaTeX erzeugst du das Zeichen beim Schreiben von Formeln mit dem Befehl \Leftarrow.

Tags

pfeil doppelpfeil links implikation logik

Verwandte Symbole