⇐
Doppelpfeil links
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
- In Word: 21D0 eingeben, dann Alt + C drücken. In anderen Programmen hat Windows kein Standardkürzel dafür – einfach von dieser Seite kopieren
- 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