User blog comment:Alejandro Magno/Extension of the Alphabet Hierarchy/@comment-1605058-20141006144859/@comment-25371339-20141006145700

a&<&[A]>[A](x) = a&<&[x]>[A](x)