Wann du einen Doppelpunkt setzt
Ein Doppelpunkt : leitet etwas ein, das das Vorherige erklärt oder aufzählt: „Bring drei Dinge mit: einen Stift, Papier und einen Radiergummi.“ Er trennt außerdem Stunden von Minuten (9:45), Kapitel von Vers (Johannes 3,16), Titel von Untertiteln und die beiden Seiten eines Verhältnisses (3:1). Im Deutschen steht er auch vor direkter Rede und nach Anreden in sehr förmlichen Geschäftsbriefen.
In Code ist der Doppelpunkt überall. CSS schreibt color: red, JSON verbindet Schlüssel mit Werten ("name": "Ana"), Python beendet eine Zeile vor einem eingerückten Block mit einem Doppelpunkt, und :: ist der Bereichsoperator in C++ und PHP.
Doppelpunkt-Doppelgänger und wann sie helfen
Windows erlaubt in Dateinamen keinen Doppelpunkt (ebenso wenig wie \ / * ? " < > |), deshalb fügen Leute, die einen Namen wie „Teil 1: Einführung.docx“ möchten, stattdessen den modifier letter colon ꞉ ein. Er sieht gleich aus, zählt aber als buchstabenähnliches Zeichen, sodass Windows ihn akzeptiert. Nutze ihn nur für Namen, die Menschen lesen; in Code, URLs und Uhrzeiten, die Software verstehen muss, funktioniert nur der einfache Doppelpunkt.
Das Verhältniszeichen ∶ ist der mathematisch korrekte Doppelpunkt für Verhältnisse wie 16∶9, mit ausgewogenen Abständen. Das vollbreite ： wird in chinesischen und japanischen Texten verwendet, und das IPA-Längenzeichen ː (zwei kleine Dreiecke) zeigt in Aussprachehilfen lange Vokale an, wie in /biːt/. Für drei oder vier senkrecht gestapelte Punkte wie ⁝ und ⁞ siehe die Seite zum Punktzeichen; das Dreieck aus Punkten ∴ hat eine eigene Seite zum Folglich-Zeichen.
So tippst du einen Doppelpunkt und Doppelpunkt-Emoticons
Auf einer deutschen Tastatur ist der Doppelpunkt Shift + ., die Taste neben dem Komma. Auf einer US-Tastatur ist es Shift + ;, die Taste rechts vom L. Mit Alt-Codes hältst du Alt gedrückt und tippst 58 auf dem Ziffernblock. Auf Handys liegt er auf der Tastatur 123 oder ?123.
Doppelpunkt-Emoticons gehen auf das Jahr 1982 zurück, als der Informatiker Scott Fahlman :-) und :-( vorschlug, um Scherze in einem Uni-Forum zu kennzeichnen. Viele Apps machen heute aus Text wie :) automatisch ein Emoji, und in Discord und Slack öffnet ein Doppelpunkt mit einem Namen, etwa :heart:, die Emoji-Auswahl. Weitere Textgesichter findest du bei den Kaomoji.