Definitions of double sharp:

• noun:   a a musical notation of two sharps in front of a note indicating that it is to be raised by two semitones