> do you know of any mathematician who (publicly) shares your views on mathematical notation?

Gerry Sussman from MIT. I've seen him lecture in particular about how math notation relies far too much on implicit assumed knowledge (like operator precedence) rather than on explicit syntax. He said it's vastly easier to teach people math when you make everything explicit and thus he likes teaching in Scheme, force them write out the full algorithm with no implicit hidden assumptions.