User blog comment:Simply Beautiful Art/Weakly compact OCF/@comment-30118230-20180422145727

Good. What is the limit of the notation? I guess it's something with $$\Psi(\varepsilon_{K+1})$$. I'm guessing that the limit of the notation is the PTO of KP + $$\Pi_3$$-reflection.