This paper makes a ton of brilliant points all of which strongly resonate with me:

* The results that will last are the ones that can be organized coherently and explained economically to future generations (yes! effective compression!)

* How effectively a result can be communicated to another mathematician (and perhaps even s/mathematician/person/)

90% of my time spend 'studying mathematics' is spent lexing the notation. What do those symbols even mean? I can't even copy-paste this into Google to get any meaningful results!!!!!!!!!!!!@#!$@#$@#$@#$#@!$@#$

Have you noticed how we don't have this problem in Computer Science? Because the source code gives you the context in which to interpret the meaning of the grammar!

Homoiconicity is the panacea of formal languages.