User blog comment:C7X/CNF Comparison Algorithm/@comment-35470197-20200110045759/@comment-35470197-20200110054105

Right, the definition of Σ is very good.