User blog comment:Ubersketch/Lexicographic ordinal notation up to the Bachmann-Howard ordinal/@comment-30869823-20190913225449/@comment-39541634-20190917163258

@Ubersketchck

> Also if psi(Ww) is the limit of the addition madore psi, what will stuff like psi(W^2) or psi(W^W^W) be then? Does the notation get stuck and output psi(Ww)?

Yes.

Also, Psi(e0+1) is not Psi(e0)*w in any reasonable OCF. If that was your "intended behavior" then you simply have no idea how OCFs are supposed to work.