User blog comment:Deedlit11/Ordinal Notations VI: Up to a weakly compact cardinal/@comment-11227630-20160604040341/@comment-5529393-20160606030149

Gah, thanks; that second $$M(\alpha)$$ should be just $$\alpha$$.