`2 * 3 ^ 2` being equivalent to `2 * (3 ^ 2)` doesn't actually demonstrate that `^` is right associative. It just follows from operator precedence. The significance of right associativity is better exemplified by something of same precedence level as `^`.