Definition of "double sharp"

(music) An accidental that indicates that a note should be played a whole step higher.  examples