Das ∵ (Weil) Symbol: Bedeutung, Herkunft und Nutzung
Das Symbol ∵ steht in der Mathematik und Logik für das Wort "weil" oder "da". Es besteht aus drei Punkten in Form eines nach unten zeigenden Dreiecks und wird hauptsächlich in mathematischen Beweisen genutzt, um eine Begründung für den vorangegangenen oder folgenden Schritt anzugeben. Das Zeichen ist das exakte Gegenstück zum "Daraus folgt"-Symbol (∴), das ein nach oben gerichtetes Dreieck bildet.
Die Geschichte des ∵-Symbols ist eng mit seinem berühmteren Zwilling ∴ verknüpft. Während das "Daraus folgt"-Zeichen bereits 1659 vom Schweizer Mathematiker Johann Rahn eingeführt wurde, etablierte sich das ∵-Zeichen erst im 19. Jahrhundert als logische Ergänzung in gedruckten Werken. Im internationalen Unicode-Standard findest du das Weil-Zeichen unter dem Codepunkt U+2235. Es ist dem Unicode-Block "Mathematische Operatoren" (Mathematical Operators) zugeordnet.
In der Mathematik und den Naturwissenschaften spart dir das ∵-Symbol viel Schreibarbeit. Anstatt in langen Gleichungen oder Geometriebeweisen immer wieder "weil" zu schreiben, setzt du einfach diese drei Punkte. In der Programmierung taucht es seltener als nativer Operator auf, wird aber oft in Kommentaren zur Dokumentation logischer Schritte genutzt. Auf Social Media oder in Messenger-Apps sieht man das ∵-Symbol manchmal in einem völlig anderen Kontext: Kreative Köpfe nutzen es in Kaomojis (japanischen Text-Emojis), um Sommersprossen, kleine Pfotenabdrücke oder stilisierte Tränen darzustellen.
Willst du das ∵-Symbol selbst tippen? Unter Windows nutzt du dafür am besten die Tastenkombination Alt + 8757 (auf dem Ziffernblock). In Programmen wie Microsoft Word kannst du auch 2235 tippen und danach Alt + C (oder Alt + X) drücken. Auf dem Mac öffnest du mit Ctrl + Cmd + Leertaste die Zeichenübersicht und suchst einfach nach "because". Wenn du Webseiten baust, fügst du das Zeichen mit dem HTML-Code ∵ oder dem Hex-Code ∵ ein. In LaTeX erzeugst du es mit dem Befehl \because.
Das wichtigste verwandte Symbol ist das "Daraus folgt"-Zeichen (∴, U+2234). Die Eselsbrücke zur Unterscheidung ist simpel: Beim ∵ (weil) zeigt die Spitze nach unten, da es sich auf die Basis, also den Ursprung oder Grund stützt. Beim ∴ (daraus folgt) zeigt die Spitze nach oben, was eine Schlussfolgerung oder ein Ergebnis symbolisiert. Optisch ähnlich ist auch der Asterismus (⁂, U+2042), der aus drei Sternchen besteht, aber in der Typografie zur dekorativen Trennung von Textabschnitten dient.