Wiktionary
punctum delens
n. 1 (context orthography English) A dot placed above a letter to indicate that it is a copying error and should be ignored. 2 (context orthography English) A dot placed above a consonant in Irish, when it is written with Roman letters, to indicate that the consonant is lenited.