User blog comment:Deedlit11/Ordinal Notations VI: Up to a weakly compact cardinal/@comment-5150073-20140515153351/@comment-5150073-20140521145044

Not of course. If it would be like that, then the limit of $$\psi(1), \psi(\psi(1)), \psi(\psi(\psi(1))).$$