User blog comment:Deedlit11/Ordinal Notations III: Collapsing Higher Cardinalities/@comment-7484840-20130706154845/@comment-5029411-20130708134602

psi_3(x^x), let x = Omega_4.