Definitions of „Doppelstrich“ in the Dictionary of German Spelling

in Musiknoten ein Zeichen, das aus einem Doppelstrich mit zwei Punkten besteht und besagt, dass der vorhergehende Teil noch einmal gespielt werden muss

Examples from the Internet (not verified by PONS Editors)

German

Bei Taktwechseln wird die neue Taktangabe ins Notensystem geschrieben; oft wird zur zusätzlichen Verdeutlichung davor ein Doppelstrich gesetzt.

de.wikipedia.org

An der Schnittstelle von innerem Schlusstakt mit dem nachfolgenden Auftakt findet sich häufig ein Doppelstrich mitten in einem Takt, der vorne und hinten von einfachen Taktstrichen begrenzt wird.

de.wikipedia.org

So werden die Zahlenmengen der hyperkomplexen Zahlen oft durch Buchstaben mit Doppelstrich bezeichnet, beispielsweise für Quaternionen, für Oktonionen und für Sedenionen.

de.wikipedia.org