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

Thank you for the correction. Indeed, that would make more sense, as it would make the notation more "compact", and therefore I have a much longer way to go till reaching \(C(C(0,\Omega),0)\), which I am guessing is \(\varepsilon_{\omega}\) ?