User blog comment:Bubby3/Taranovsky's C 1st system introduction and rules./@comment-32876686-20180128230218

Someone correct me if I'm wrong, but I'm fairly sure that expressions such as \(C(\varepsilon_0+1,\varepsilon_0)\) are invalid within Taranovsky's notation, the proper way to write this would be \(C(C(1,0),C(\Omega,0))\).