> That changes the meaning. You're now relying on multiplication being commutative which is not true for all sets

As I said at the end of my last comment: I don't see a case where the ambiguity would pop up in real discourse. If you are dealing with non-commutative objects you can deal with a few more parenthesis. Just like non-associative objects result in many more.