Definition of "diaeresis"