El Doble Puntillo es uno de los signos que en música sirven para prolongar la duración del sonido.
Ver presentación: