Definition of "Diesis" :

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