User blog comment:Ubersketch/Collapsing the first 1-dinal/@comment-32697988-20190702175411/@comment-34422464-20190702180315

No, since \(\overline{\Omega}\) is larger than any ordinal, itself not being an ordinal, but a 1-dinal. 4th rule makes this notation output uncountable ordinals/stages.