User blog comment:Deedlit11/Ordinal notations II: Up to the Bachmann-Howard ordinal/@comment-24509095-20140605131454

I just noticed that using the definition of $$\psi$$ in this post, we can say that $$\psi(\alpha)=0$$ for all $$\alpha$$.