Diesis

·noun The mark /;

— called also double dagger.

II. Diesis ·noun A small interval, less than any in actual practice, but used in the mathematical calculation of intervals.