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

Also, the compact OCF kills the chi function in favor of superscript psi functions. We probably should make the OCF so that we don't have to eliminate anything to go to higher levels. For example, if we're using compact OCF style superscript psis, we should avoid using chi at the Mahlo level since it'll be removed later.