User blog comment:Deedlit11/Ordinal Notations IV: Up to a weakly inaccessible cardinal/@comment-11227630-20170301040811/@comment-5029411-20170301114148

In my psi function \(psi_{\Omega}(0)\) will be \(\alpha \rightarrow \Omega_{\Omega}^{\alpha}\).