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

It appears that Chebyshev's \(\psi\) function was defined before Bachmann's.