Das Zuweisungszeichen ≔: Bedeutung, Herkunft und Verwendung
Das Symbol ≔ (Doppelpunkt-Gleichheitszeichen oder Zuweisungszeichen) wird in der Mathematik und Informatik verwendet, um eine Definition oder eine Zuweisung darzustellen. Anders als das normale Gleichheitszeichen (=), das eine bereits bestehende Gleichheit ausdrückt, legt ≔ fest, dass der Wert auf der linken Seite durch den Ausdruck auf der rechten Seite definiert wird.
Ursprünglich stammt dieses Zeichen aus der formalen Logik und der Mengenlehre, wo absolute Präzision entscheidend ist. Richtig populär wurde es durch frühe Programmiersprachen wie ALGOL, Pascal und Ada. In diesen Sprachen war es zwingend nötig, streng zwischen einer Abfrage („Sind x und y gleich?“) und einer Aktion („Setze x auf den Wert y!“) zu unterscheiden. Während moderne Sprachen wie Python oder JavaScript heute meist das einfache `=` für Zuweisungen und `==` für Vergleiche nutzen, bleibt ≔ ein Klassiker der theoretischen Informatik und des Pseudocodes. Im aktuellen Go-Code taucht es als `:=` (als zwei separate Zeichen) für kurze Variablendeklarationen auf, was die anhaltende Relevanz des Konzepts zeigt.
Im Unicode-Standard findest du das Zeichen unter dem englischen Namen „COLON EQUALS“ (Doppelpunkt-Gleichheitszeichen). Es liegt am Codepunkt U+2254 und gehört zum Block der „Mathematischen Operatoren“ (Mathematical Operators). Wichtig für die Typografie: Das echte ≔ ist ein einzelnes Zeichen und wird nicht einfach aus einem Doppelpunkt und einem Gleichheitszeichen zusammengetippt, auch wenn das in der Praxis oft als Notlösung dient. Das dedizierte Zeichen sorgt für ein wesentlich saubereres Schriftbild, da der Abstand zwischen den Punkten und den horizontalen Linien visuell perfekt ausbalanciert ist.
Im Alltag und auf Plattformen wie X oder Instagram wirst du das echte ≔ Symbol eher selten antreffen, es sei denn, du bewegst dich in Mathe-Foren oder unter Programmierern. Wenn du Formeln in LaTeX setzt, verwendest du für das korrekte Symbol den Befehl `\coloneqq`.
Wie bekommst du das ≔ nun auf deinen Bildschirm? Da es auf Standardtastaturen fehlt, erfordert es einen kleinen Trick. Unter Windows kannst du die [Alt]-Taste gedrückt halten und auf dem Ziffernblock 8788 tippen (die dezimale Entsprechung des Hex-Codes 2254). Auf dem Mac drückst du die Tastenkombination [Control] + [Command] + [Leertaste] für die Zeichenübersicht und suchst nach „colon equals“. In HTML-Dokumenten bindest du es mit `≔` oder `≔` ein. Am Smartphone kopierst du dir das Symbol am besten einfach aus einem Text im Netz.
Das Symbol hat zudem einige enge Verwandte, die du kennen solltest. Das gespiegelte Pendant ≕ (U+2255) bedeutet „ist definiert durch“ mit vertauschten Seiten (rechts wird durch links definiert). Für die einfache mathematische Gleichheit steht = (U+003D), für logische Äquivalenz nutzt man oft das Identitätszeichen ≡ (U+2261). Ein weiteres Zeichen mit exakt derselben Bedeutung wie ≔ ist ≜ (U+225C), das ebenfalls „ist definiert als“ bedeutet, aber durch ein kleines Dreieck über dem Gleichheitszeichen dargestellt wird.