User blog comment:Deedlit11/Ordinal Notations III: Collapsing Higher Cardinalities/@comment-27513631-20160221222501

Deedlit, what is $$n$$ in the last line of the definitions of $$\vartheta$$?