संस्‍कृतशब्‍दकोशः

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

Diesis — The mark /; -- called also double dagger.

These Also : Dieses;