Punctum-delens definition

(orthography) A dot placed above a letter to indicate that it is a copying error and should be ignored.

(orthography) A dot placed above a consonant in Irish, when it is written with Roman letters, to indicate that the consonant is lenited.