[kstenerud]

This sounds so much like something the greybeards used to say in the 80s: "If it was hard to write, it should be hard to understand"

Basically, it's not the fault of our systems; it's the user's fault. Once he learns the arcane incantations, he'll understand why our way is the better way.

Computer UX has finally progressed beyond this arrogance. Why not math?

[Koshkin]

The reason is that difficulty of mathematics lies not in notation - it is in ideas and techniques. There is no doubt that a good modern UX complete with graphics, animation, and audio would facilitate understanding of the ideas, but, just as in programming, the need for textual notation cannot be overcome. Category Theory is an interesting example: while a lot of reasoning in it is done by "diagram chasing", if you look at a book on this theory, you will find more textual proofs and formulas than diagrams. Even more strikingly, same is true for topology, differential geometry etc.