Meaning of diesis

(noun) a character used in printing to indicate a cross reference or footnote