The mark ; - called also double dagger.
n. [Greek] The division of a musical tone;—a printing mark of reference called double dagger.