User blog comment:Alejandro Magno/Extension of the Alphabet Hierarchy/@comment-5029411-20141006150934/@comment-5029411-20141007001031

a&<1(2)1,2>[A](x) = a&<1(2)&<1(2)&<1(2)...>[A]>[A]>[A](x) with x nested