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

You are right. C(C(0,0),C(0,0)) is not standard.