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

Yes, it does work in the $$\vartheta$$ way; notice the similarity between the definition of $$\psi$$ and the earlier $$\vartheta$$. I guess this is somewhat unfortunate.