User blog comment:Kyodaisuu/Mashimo function/@comment-1605058-20140706065714/@comment-5150073-20140706213009

Well, I explained it so that it should be clear. Like $$\omega_1^\text{CK}$$ is the limit of $$\psi(D_n)$$ for any sequence of diagonalizers, $$\omega_{1,2}^\text{CK}$$ is the limit of $$\psi_\text{CK}(D_n)$$ for any sequence of diagonalizers.

I don't see how it can be ambiguous.