[Spivak]

Don't you lump math in there, math is 99% human language. The symbol pushing you learned in HS is just advanced arithmetic. Math is more like legalese with some very loose additional notation than a formal language.

[lkirkwood]

Can you expand on this? Notation like "=" can be written using language but we define an exact meaning for the operator regardless, unlike language.