User blog comment:Deedlit11/Ordinal notations II: Up to the Bachmann-Howard ordinal/@comment-1605058-20130629142358/@comment-5150073-20130629175748

m must be a successor, of course. If m is limit, then we get (w^a)[n] = w^(a[n]). It must works correctly.