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

I will revert this page to the old definition of \(\sum\)