1. A small interval, less than any in actual practice, but used in the mathematical calculation of intervals. 2. The mark /; -- called also double dagger.
diesis |