User blog comment:Deedlit11/Ordinal Notations IV: Up to a weakly inaccessible cardinal/@comment-24509095-20140507175906/@comment-24509095-20140508110614

Ikosarakt, yes, that's exactly why I prefer I+1 but I think you meant $$\psi_{\alpha}(\psi_{\alpha}(\psi_{\alpha}(...)))=\psi_{\alpha}(\Omega_{\alpha})$$. Also, in your note to Deedlit, you should change $$\varepsilon_{\Omega_{I+1}}$$ to $$\varepsilon_{\Omega_{I+1}+1}$$