User blog comment:Alemagno12/I made a Pi w-reflection OCF, how horribly wrong am I?/@comment-35470197-20180812220655/@comment-25601061-20180813001242

(1) No, but one would expect \(\varepsilon\) and \(\kappa\) to be regular.

(2) I updated the definition. Now the \(M\) and \(\Psi\) problem is fixed. Also, do you mean \(\alpha\) instead of \(\gamma\)?

(3) Don't you mean \(M_{\kappa}^{P_0,A}(\alpha)\)? If so, then the question is irrelevant now, since I updated the definition for it.

(4) "\(x \in\)" is not a typo.