User blog comment:Alemagno12/''Beyond standard ordinal notation''/@comment-32697988-20180331220640/@comment-30004975-20180402024747

One idea I have for a simplified OCF is to remove the w^x operation (so that psi(W)=e0) and W_x (so psi_I(x)=W_x instead of xth fixed point, but this creates the problem of psi_(W_(x+1)) getting stuck enumerating omegas until input=x). Also, if it's a community thing, it should be a userpage so everyone can edit.