User blog comment:12AbBa/12AbBa's hierarchy/@comment-27173506-20170328104933/@comment-1605058-20170328114042

Not exactly - note the limit rule has \(A^n_{\alpha[n]}\), not just \(A_{\alpha[n]}\). The difference is however nearly unnoticeable.