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

Teh colon is


 * for indentation