Meaning of dieresis

(noun) a diacritical mark (two dots) placed over a vowel to indicate that it does not form a diphthong with an adjacent vowel