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

Compared with the lower $$\vartheta$$ function, you didn't have "$$\alpha\in C(\alph,\beta)$$" here. I think this difference causes the error.