I love math but the symbology and notations get in my way. 2 ideas: 1. Can we reinvent notation and symbology? No superscripts or subscripts or greek letters and weird symbols? Just functions with input and output? Verifiable by type systems AND human readable 2. Also, make the symbology hyperlinked i.e. if it uses a theorem or axiom that's not on the paper - hyperlink to its proof and so on..
Probably not. The conventional math notation has three major advantages over the "[n]o superscripts or subscripts or [G]reek letters and weird symbols" you're proposing: 1. It's more human-readable. The superscripts and subscripts and weird symbols permit preattentive processing of formula structures, accelerating pattern recognition. 2. It's familiar. Novel math notations face the same problem as alternative English…
1 and 2 would be
1) d/dx e^y = e^y dy/dx = 1
2) d/dx e^y = d/dx x = 1
edit: edited, first got them wrong