User blog comment:Alemagno12/An extremely fast-growing OCF/@comment-5029411-20170726203426/@comment-28606698-20170726212943

> L(x+1) is the smallest ordinal with greater cardinality than L(x)

Then L(x)=Ω_x=ω_x and L(ω)= Ω_ω ?