User blog comment:PsiCubed2/My attempt for creating an ψ(ψᵢ(0))-level notation for ordinals/@comment-39162-20170404170110/@comment-30754445-20170404203136

I just wrote a very long answer which wasn't posted for some reason (and I didn't have a backup). :-(

I'll try and write it again later. Meanwhile, I'll just say that the first omega fixed point is ψɪ(0) and not ψɪ(1). ψɪ(1) is the second omega fixed point. In other words:

ψɪ(1) = lim (ψɪ(0)+1, Ωψ ɪ(0)+1 , ΩΩ ψ ɪ(0)+1 , ΩΩ Ω ψ ɪ(0)+1   , ...)