double dot

noun

Definition of double dot

: two points placed immediately after a musical note or rest to indicate augmentation of its time value by three-quarters