:: deftheorem defines heptatonic_pythagorean_semitone MUSIC_S1:def 80 :
heptatonic_pythagorean_semitone = 256 / 243;