Double dot

DEFINITION

a single dot adds half the original value; a double dot halves it again and adds that