User blog comment:ArtismScrub/Hyper-Alpha Notation Part III: Full Circle/@comment-25601061-20180307205257/@comment-32783837-20180308225323

"A+1" is not defined beyond AAA. In fact, it's only even defined for AA by extrapolation. Operators for higher ★ follow the ruleset:

<(★2),A>★2 = ★2

generalized from the rule extension that appeared with finite numbers of up-arrows, that:

(A ↑n ★) ↑n A = A ↑n ★A

Sorry, this should have been specified.