User blog comment:Ubersketch/Collapsing the first 1-dinal/@comment-32697988-20190702175411/@comment-35470197-20190707215144

@Bubby3

Although I do not know what Madore's extended psi actually means, isn't \(\psi(\varepsilon_(\Omega + 2})\) presented as \(\overline{\psi}(\overline{\Omega} + \Omega)\)? I agree that this OCF is not so strong as the OP expected, even if the definition will be fixed to work, though.