An improved notation for music.