[double dagger] n (1706): a character resembling two opposite-pointing overlaid daggers used as a reference mark--called also diesis
DOUBLE DAGGER
Meaning of DOUBLE DAGGER in English
Merriam-Webster English vocab. Английский словарь Merriam Webster. 2012