User blog comment:LittlePeng9/Addition is commutative/@comment-24509095-20141002045140/@comment-24509095-20141002045750

I'm guessing $$A_n$$ means the nth axiom