DOUBLE DAGGER
Meaning of DOUBLE DAGGER in English
Function: noun
Date: 1706
: the character used as a reference mark ― called also diesis
Merriam Webster Collegiate English Dictionary.
Merriam Webster - Энциклопедический словарь английского языка.
2012