Lex -- a symbol used as an optional argument of MonomialOrder in monoids handled by the engine to indicate that the monomial order is the (non-graded) lexicographic order.