What is the meaning of Diesis?

Any of several intervals, smaller than a tone, in ancient Greek music.

The double dagger sign ().

sharp

sharp

Source: wiktionary.org