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

C(Ω,C(Ω,0)) = ε1, not C(C(0,Ω),0)