User blog comment:Ubersketch/A proposal for a standard/@comment-34422464-20190813205023/@comment-34422464-20190816114839

It's not overlapping. For an example like w^2+w^0<w^2+w^0, it goes through k first and then l, or the other way around. The order doesn't matter. w^2+w^0<w^2+w^0 satisfies neither since they are equal.