User blog comment:P進大好きbot/Relation between an OCF and an Ordinal Notation/@comment-32994025-20190811194559/@comment-32994025-20190811222925

Thanks. I also wondered if you are allowed to have two expressions that has exactly the same property, but in different form(i.e. shortening expressions such as ψ(ψ_I(ψ_I(0))) to ψ(Ω_Ω) in an OCF, and state that they are sort of "equivalent")?