User blog comment:Alemagno12/A ordinal notation/@comment-11227630-20150721045807/@comment-24509095-20150724223616

I don't see anything wrong with this let me try

$$A(0, \alpha ) = \text{sup} (A(0, \alpha [1]), A(0, \alpha [2]), A(0, \alpha [3]),...)$$