User blog comment:Deedlit11/Ordinal Notations VI: Up to a weakly compact cardinal/@comment-24509095-20140702105435/@comment-5529393-20140704185253

Okay, I added line breaks. But, it would be better to indent the next line - I don't know how to do that.