Or just use sexpressions. I don’t mean that flippantly either. I truly believe all of mathematics should utilize them as well. This way you learn the basics in grade school and have the syntactic skills needed moving forward.
RPN might be a better starting point for a revolution.
Perhaps the extra tree parsing required by the brain is more than made up for by some kind of visual compression economy going through the eyes?
sexprs without pair matching are horrid, but it's a solved problem since a few decades (paredit was made by zeus)
For example, the proof of the Minkowski inequality in Wikipedia [1] contains a statement of the form "x_1 = x_2 = x_3 ≤ x_4 = x_5 ≤ x_6 = x_7". Except that x_1, ..., x_7 are so complicated that any notation that requires repeating them doesn't feel like a satisfactory notation for "all of mathematics".