It is not the only problem, unfortunately. For example, there is no way to specify the order of quantifiers, which is very important (if you commute existientia

It is not the only problem, unfortunately. For example, there is no way to specify the order of quantifiers, which is very important (if you commute existiential and universal quantifiers, in general you change the meaning of a formula). So, for example, the definitions of pointwise and uniform continuity would we written identically, and that is not tolerable. Probably you could solve also this by adding another index to quantified quantities, but at that point are you really solving the problem of complexity? Complexity is not only measured in terms of verbosity (i.e., length of the expressions you produce); ability to quickly locate information and ease of manipulation are also important, and it seems to me that this formalism fails completely. In the "traditional" formalism you separate the "final fact" you want to assert from its "conditions", given by the quantifiers; usually, you want to process those pieces of information at different times. Also, you have rules for quantifier introduction and elimination, which seems to be a nightmare with the proposed formalism. That said, I do encourage new proposals and experimentation with notations, as with anything else in mathematics, even from young students. There have been cases in maths in which some good idea for a new notation made an entire field much easier (I am thinking for example to Einstein notation for tensor calculus).