²The definition of the revlex term order changed for version 2.2.