Noun
A small interval, less than any in actual practice, but used in the mathematical calculation of intervals.
The mark /; -- called also double dagger.
Source: Webster's dictionaryA double dagger or diesis, error, is a variant with two handles. Source: Internet
However, it has been used to mean other small intervals: see diesis for details. Source: Internet