Wiktionary
double-dotted
a. 1 Having two dots above it. 2 # (context music English) Of a note, having a duration of 1¾ times its basic note value. 3 # (context linguistics English) Of a character, having a diaeresis/umlaut/rock dots