User blog comment:Wythagoras/All my stuff/@comment-7484840-20130708082913/@comment-5029411-20130708130908

theta(Kappa) = lambda(2,0).

Kappa_{n+1} is the n+1-th fixed point of I, e.g. theta(I_I_I...I_(Kappa_n+1))

Λ is the first fixed point of Kappa, e.g. theta(Kappa_Kappa_...)

theta(Λ) = lambda(3,0).