User blog comment:Boboris02/Analysis of Taranovsky's Ordinal Notation with "standard OCFs."/@comment-11227630-20180113012429/@comment-30118230-20180113140110

Thanks for the correction. I noticed my mistake.

I meant $$C(\Omega,C(C(\Omega_2,C(\Omega_2 2,0)),0))=\varepsilon_{C(C(\Omega_2,C(\Omega_2 2,0)),0)+1}$$

The 2 in the subscript was a typo.