diesis
noun
°(music) Any of several intervals, smaller than a tone, in ancient Greek music.
°The double dagger sign - ‡.