User blog comment:Deedlit11/Ordinal Notations V: Up to a weakly Mahlo cardinal/@comment-30004975-20180124232836

What's psi_(Ω_Ω)(0)?