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

Is it possible to define \(\sum\) the way that I did in Algorithm 1?