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

The updated definitions of Σ include many typos.

Also, it is better to define Σ after you define T, because the definitions of Σ refer to T.