Definiciones de „Doppelstrich“ en el Ortografía alemana

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

Ejemplos de uso procedentes de internet (no verificados por la redacción de PONS)

alemán

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