Synonyms
Etymology

1. dieresis

noun. a diacritical mark (two dots) placed over a vowel in German to indicate a change in sound.

Etymology

  • διαίρεσις (Ancient Greek (to 1453))