diesis

noun2

1. •
   Any of several intervals, smaller than a tone, in ancient Greek music.
2. •
   The double dagger sign (‡).