Das Symbol ≝ (Gleich per Definition): Bedeutung, Unicode und Nutzung
Das Symbol ≝ (U+225D), oft als „gleich per Definition“ bezeichnet, ist ein mathematischer Operator, der aus einem Gleichheitszeichen mit dem darüberstehenden Schriftzug „def“ besteht. Es wird in der Mathematik und Logik verwendet, um auszudrücken, dass ein Ausdruck nicht durch eine Berechnung gleich einem anderen ist, sondern absichtlich so definiert wurde.
In der Mathematik muss man ständig neue Variablen oder Formeln festlegen. Statt jedes Mal einen langen Satz zu schreiben, nutzt man Symbole. Das ≝-Symbol bringt diese Intention auf den Punkt: „A ist ab sofort genau das Gleiche wie B, weil ich es so bestimme.“ Es grenzt sich damit klar vom klassischen Gleichheitszeichen (=) ab, das oft das Ergebnis einer Gleichung oder einer schrittweisen Umformung darstellt.
Im offiziellen Unicode-Standard findest du das Zeichen unter dem Codepoint U+225D (EQUAL TO BY DEFINITION). Es gehört zum Block „Mathematische Operatoren“ (U+2200 bis U+22FF), der eine riesige Sammlung an Symbolen für wissenschaftliche und technische Texte bereithält.
Während ≝ in Schulbüchern, wissenschaftlichen Publikationen oder auf Wikipedia regelmäßig auftaucht, siehst du es im digitalen Alltag eher selten. In der Programmierung greifen Entwickler für Zuweisungen meist auf pragmatischere, leichter zu tippende Alternativen wie `:=` (zum Beispiel in Go oder Pascal) oder schlicht auf ein `=` zurück. Auf Social Media oder in Messenger-Chats begegnet dir das Symbol fast nie – es sei denn, Mathe-Nerds diskutieren auf Reddit über komplexe formale Beweise.
Da das ≝-Zeichen auf keiner Standardtastatur zu finden ist, erfordert die Eingabe einen kleinen Umweg. Unter Windows kannst du es bequem über die Zeichentabelle kopieren oder in Word die Tastenkombination `225D` gefolgt von `Alt + C` (oder `Alt + X`) nutzen. Am Mac erreichst du es über die Zeichenübersicht (`Ctrl + Cmd + Leertaste`), wenn du im Suchfeld nach „Definition“ suchst. Für HTML-Seiten verwendest du den Code `≝`. Auf dem Smartphone kopierst du es am besten einfach aus dem Netz.
Es gibt mehrere Symbole, die eine sehr ähnliche Aufgabe übernehmen und teils synonym verwendet werden. Das ≜ (U+225C, Gleichheitszeichen mit Delta) und das ≡ (U+2261, Identisch) drücken in der Mathematik oft exakt denselben Sachverhalt aus. Das in der Informatik verbreitete `:=` (Doppelpunkt-Gleich) ist ebenfalls eng verwandt. Welches Zeichen am Ende auf dem Bildschirm oder Papier landet, ist meist eine Frage des persönlichen Geschmacks oder der etablierten Konvention im jeweiligen Fachbereich.