User blog comment:Nedherman1/The most powerful factorial!/@comment-25601061-20180702150932/@comment-25601061-20180703153623

I thought it was ψ(I) or something like that