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