GLex -- a symbol used as an optional argument of MonomialOrder in monoids handled by the engine to indicate that the monomial order is the graded lexicographic order.
Caveat: