User blog comment:Alemagno12/Not Taranovsky's C/@comment-5529393-20170811033625/@comment-25601061-20170811151922

Yes, but the definitions use N(a,b) and Ωx for comparisons, and the rules for comparisons don't rely on what N(a,b) and Ωx contain. Also, I am going to change the rules of the notation.