⇐ Doppelpfeil nach links: Bedeutung, Herkunft und Nutzung
Das Symbol ⇐ (Doppelpfeil nach links) ist ein typografisches und mathematisches Zeichen, das eine starke oder zwingende Richtung nach links anzeigt. In der Mathematik steht es häufig für die logische Rückwärtsimplikation („wird impliziert von“), während es in der Informatik oft als Zuweisungsoperator oder in der Textverarbeitung als deutlicher Hinweis-Pfeil dient.
Im Unicode-Standard trägt das Zeichen die offizielle Bezeichnung „Leftwards Double Arrow“ und ist unter dem Codepoint U+21D0 im Block „Pfeile“ (Arrows) zu finden. Seit seiner Einführung in der allerersten Unicode-Version im Jahr 1991 gehört es zum festen Repertoire digitaler Schriftsysteme. Der Ursprung des Symbols liegt in der formalen Logik und Mathematik. Dort wurden einfache Pfeile durch doppelte Linien verstärkt, um komplexe logische Beziehungen klar von reinen geometrischen Richtungsangaben zu unterscheiden.
Du triffst den linken Doppelpfeil in den verschiedensten Kontexten an. In der Mathematik liest man ⇐ als „daraus folgt rückwärts“ – wenn Aussage B gilt, dann gilt zwingend auch Aussage A (A ⇐ B). In Programmiersprachen oder im Pseudocode wird die Kombination aus Kleiner-als-Zeichen und Gleichheitszeichen (<=) oft automatisch von Schriftarten mit Programmier-Ligaturen zu ⇐ formatiert. Hier dient es meist als „Kleiner oder gleich“-Operator oder als Zuweisungspfeil. Auch auf Social Media oder in Chat-Nachrichten taucht das Symbol regelmäßig auf. Dort nutzen User den wuchtigen Pfeil, um mit Nachdruck auf ein vorheriges Wort, einen wichtigen Link oder ein Bild auf der linken Seite des Bildschirms zu verweisen.
Wie tippst du ⇐ auf deinen Geräten? Am PC unter Windows nutzt du den Alt-Code: Halte die Alt-Taste gedrückt und tippe 8656 auf dem Ziffernblock. Am Mac öffnest du die Zeichenübersicht am schnellsten mit der Tastenkombination [Ctrl] + [Cmd] + [Leertaste] und suchst nach dem Begriff „Pfeil“. Auf dem Smartphone findest du das Zeichen, indem du in der Symbol-Tastatur lange auf den normalen Linkspfeil drückst, oder du kopierst es dir einfach aus dem Netz. Wenn du Webseiten baust, fügst du das Zeichen in HTML mit der Entität ⇐ oder ⇐ ein.
Es gibt einige verwandte Zeichen, die du nicht mit ⇐ verwechseln solltest. Der einfache Pfeil nach links (←) zeigt lediglich eine Richtung an, ohne die formale Schwere des Doppelpfeils. Sein Gegenstück, der Doppelpfeil nach rechts (⇒), markiert die klassische Schlussfolgerung („daraus folgt“). Der beidseitige Doppelpfeil (⇔) drückt in der Logik schließlich eine Äquivalenz aus – beide Seiten bedingen sich also gegenseitig.