User blog comment:P進大好きbot/Elementary Large Number beyond PTO(Π11-CA0)/@comment-36957202-20190602200449/@comment-35470197-20190602214739

> nice

Thank you! My next goal is to create an elementary large number beyond \(\psi_0(\psi_I(0))\). Someday, I would like to create an elementary large number beyond weakly Mahlo or weakly 1-Mahlo.

> typo

Oops. Thank you for pointing out the error. Now I replaced all \(n\) by \(x\).