Word
diesis, n.
(dieses)
a character used in printing to indicate a cross reference or footnote
<noun.communication>
diesis
double dagger
double obelisk
semantic pointers
hypernym
character, grapheme, graphic symbol, graph