User blog comment:Alemagno12/A ordinal notation/@comment-11227630-20150721045807/@comment-25601061-20150722225011

Following rule 2:

$$A(0,A(0,0)) = sup(A(0,0), A(0,A(0)), A(0,A(A(0))),...)$$