Das ∷ Symbol (Proportion): Bedeutung, Herkunft und Verwendung
Das Symbol ∷ (Unicode: U+2237, „Proportion“) besteht aus vier im Quadrat angeordneten Punkten und erinnert optisch an einen doppelten Doppelpunkt. In seinem Hauptanwendungsgebiet, der Mathematik, drückt dieses Zeichen die Gleichheit zweier Verhältnisse aus. Wenn du also eine Gleichung wie „a:b ∷ c:d“ siehst, bedeutet das: „a verhält sich zu b wie c zu d“.
Der Ursprung dieses mathematischen Operators geht auf den englischen Mathematiker William Oughtred zurück, der das Symbol im 17. Jahrhundert einführte, um Proportionen übersichtlich darzustellen. Vor der Etablierung des modernen Gleichheitszeichens (=) war das ∷ Symbol in der Geometrie und Bruchrechnung der absolute Standard, um zwei Ratios (Verhältnisse) miteinander in Verbindung zu setzen. Es half Gelehrten damals enorm, komplexe Dreisätze schnell auf Papier zu bringen.
Im Unicode-Standard findest du das ∷ Symbol unter dem Codepoint U+2237 im Block „Mathematische Operatoren“. Oft wird es fälschlicherweise als einfacher Platzhalter oder dekoratives Element abgetan, doch es besitzt als standardisiertes Zeichen eine klare mathematische Semantik.
Abseits der klassischen Mathematik hat sich der doppelte Doppelpunkt auch in andere Bereiche verlagert. In der Programmierung kennst du vielleicht den sogenannten „Scope Resolution Operator“ (Gültigkeitsbereichsoperator) aus Sprachen wie C++ oder Rust. Dort wird er in der Praxis zwar durch zwei aufeinanderfolgende, normale Doppelpunkte (::) über die Tastatur eingetippt, das Unicode-Zeichen ∷ dient aber in manchen modernen Code-Editoren mit Ligatur-Unterstützung als elegante, einteilige Darstellung. Auf Social-Media-Plattformen wie Instagram oder X nutzen Kreative das Symbol gerne als symmetrischen, dekorativen Trenner zwischen Profil-Infos oder als außergewöhnlichen Aufzählungspunkt, der optisch mehr hermacht als ein profaner Punkt.
Um das ∷ Symbol selbst zu tippen, hast du verschiedene Optionen. Da Standardtastaturen keine eigene Taste dafür bieten, hilft dir unter Windows die Tastenkombination [Alt] + 8759 (auf dem Ziffernblock tippen). Auf dem Mac öffnest du am besten die Zeichenübersicht mit [Ctrl] + [Cmd] + [Leertaste] und suchst direkt nach „Proportion“. Auf dem Smartphone kopierst du das Symbol am einfachsten aus dem Netz oder legst dir in den Tastatureinstellungen eine Textersetzung an (z. B. wenn du „:::“ tippst, wird daraus automatisch „∷“). Für Webseiten und HTML-Dokumente schreibst du einfach ∷ oder ∷ in deinen Quelltext.
Verwandte Zeichen, die gelegentlich mit ∷ verwechselt werden, sind der einfache Doppelpunkt (: U+003A), der für Divisionen, Uhrzeiten oder Textankündigungen steht, sowie das historische Kreuz aus Punkten (⁜ U+205C). Im Gegensatz zum einfachen Doppelpunkt, der ein einzelnes Verhältnis beschreibt, verbindet das ∷ Symbol immer zwei solcher Verhältnisse zu einer vollständigen Aussage.