User blog comment:Emlightened/Hypernomials (Γ₀)/@comment-5529393-20160120163011/@comment-5529393-20160314200016

I don't see the relevance of right associativity to my comment. You can't evaluate  3(X<3>(X+1))>3, because you can't evaluate X<3>(X+1); there's no rule for it.

Right associativity is just a convention to simplify notation by allowing us to drop parentheses; it wouldn't affect what can be notations can be generated or what they evaluate to.