User blog comment:XXxKennyDashxXx/A NEW NOTATION! HBAN./@comment-25601061-20150102024739/@comment-1605058-20150109173156

I believe first psi ever defined was useless beyond \(\varepsilon_{\Omega+1}\).