Comment by senekerim

Math notation is actually pretty great and is a result of multiple iterations. Earlier forms were much worse. S-Expressions by themselves are obviously not enough, you have to introduce at least first-order logic notation, set notation, etc. It's not obvious that the end result will be anywhere near as readable as the current notation.