User blog comment:Deedlit11/Ordinal Notations VI: Up to a weakly compact cardinal/@comment-30004975-20180116041644/@comment-5529393-20180130080137

Ah, that second OCF has an M instead of a K. Also, good point about xi(2,x) enumerating the weakly Mahlos; rather than change my description, I think I'll modify the definition a bit.