DOUBLE DOT
Meaning of DOUBLE DOT in English
noun
: two points placed immediately after a musical note or rest to indicate augmentation of its time value by three-quarters
Webster's New International English Dictionary.
Новый международный словарь английского языка Webster.
2012