User blog comment:Edwin Shade/A Complete Analysis of Taranovsky's Notation/@comment-25601061-20180130000230

Actually, ε0ω = C(C(0,C(Ω,0)),0).