There's no reason why infix notation should be considered superior to prefix notation. It's only due to historical reasons that it's so common. Just yesterday, I was reading some proofs about formulas written in formal languages, and some of the proofs were superflously complicated because they chose to use infix and other colloquial rules - if S-Expressions were to be used, the proofs would have been elementary - just to be clear, the proofs weren't specifically about languages using infix notation, but because infix syntax was involved, they did get more complicated.