User blog comment:Deedlit11/Ordinal Notations VI: Up to a weakly compact cardinal/@comment-5029411-20130729134352

I have Extended-Inaccessible Notation,

M(@) = I(@)|[1]

M(@)|[1] = I(@)|[2]

...

M(@)|[@] = I(@)|[@+1]

K(@)|[@] = M(@)|[@+1] = I(@)|[@+2], so there is no Mahlo and Compact cardinal!