(1):

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

(2):

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