User blog comment:Deedlit11/Ordinal Notations VI: Up to a weakly compact cardinal/@comment-5150073-20140515153351/@comment-5150073-20140521093118

Wait, no. Deedlit used K to represent just $$Xi(1)$$, and the diagonalizer of $$\Xi(\alpha)$$ is undefined here.