User blog comment:Alemagno12/A ordinal notation/@comment-11227630-20150721045807/@comment-190.13.30.220-20150723175713

A(0, /alpha ) = /sup (A(0, /alpha [1]), A(0, /alpha [2]), A(0, /alpha [3]),...)