User blog:Nayuta Ito/faketest/e0

This is actually a quick reference of how UNOCF works.


 * ψ(Ω)
 * ψ(Ω^Ω)
 * ψ(Ω^Ω^Ω^...)=ψ(Ω_2)=ψ(ψ_Ω_2(Ω_2))
 * ψ(Ω_2^Ω_2^Ω_2^...)=ψ(Ω_3)=ψ(ψ_Ω_3(Ω_3))
 * ψ(Ω_ω)=limit of ψ(Ω_n)
 * ψ(Ω_Ω)
 * ψ(Ω_Ω_Ω_...)=ψ(I)=ψ(ψ_I(I))
 * ψ(Ω_(I+1))