The meaning of Diesis and additional information.

Diesis(n.) A small interval, less than any in actual practice, but used in the mathematical calculation of intervals.

Diesis(n.) The mark /; -- called also double dagger.