I disagree. Mathematicians care much more about notation than do musicians. Mathematical notation should be precise, concise and consistent. The hard parts of m

I disagree. Mathematicians care much more about notation than do musicians. Mathematical notation should be precise, concise and consistent. The hard parts of maths are the abstraction and the formalization of stuff we take for granted. In contrast, the essence of music theory is fairly easy (if you have a math background, you could learn it in a few hours!). But music notation a strange mix of time-tested, concise notations with cruft that remains due to backwards compatibility. So we write "𝆮" to mean pedal down, but "𝆯" to mean pedal up. We write C7, Cmaj7 and Cmin7 but the modifiers "maj" and "min" modify different parts of the chord. And so on. And sometimes the notation is there, but people simply don't use it consistently. For instance, the usage of 6th and 13th interchangeably without proper justification (e.g. the post in question).