WordNet (r) 3.0 (2006):double sharp n 1: a musical notation of two sharps in front of a note indicating that it is to be raised by two semitones