On: 2^3^4 - a comparison of math packages

[rplnt]

But they shouldn't bind a^b^c to (a^b)^c without parentheses.

[masklinn → rplnt]

That's exactly the difference between binding to the right and binding to the left (aka left-associativity and right-associativity). A left-associative exponent will parse to `(a^b)^c`, a right-associative one will parse to `a^(b^c)`

[rplnt → masklinn]

What I was trying to say is that parsing exponents like that makes as much sense as parsing a+b* 2 to (a+b)* 2.

[sesqu → rplnt]

No, it makes as much sense as parsing a* b* 2 to (a* b)* 2.