Ben Johnston's notation