User blog comment:Ubersketch/Collapsing the first 1-dinal/@comment-32697988-20190702175411/@comment-24725252-20190707185547

Kind of. Because the notation outputs the smallest ordinal which can't be constructed, and we can't construct \(\varepsilon_0\) in C(0), \(\overline{\psi}(0)\) is \(\varepsilon_0\).