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

Or maybe there's this greek math paper that we don't know about which defines psi as something else completely.