:: deftheorem defines syntonic_comma MUSIC_S1:def 68 :
syntonic_comma = major_third_pythagorean_tone / pure_major_third;