Didn't Stockhausen create a notation for electronic music? I was surprised TFA didn't mention it.