Diesis

Part of speech: noun (n.)

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.