i1 : R = QQ[a..d,MonomialOrder=>GLex] o1 = R o1 : PolynomialRing
i2 : a^3*b+a^4+b^100 100 4 3 o2 = b + a + a b o2 : R
The object GLex is a symbol.
The source of this document is in Macaulay2Doc/ov_monomial_orderings.m2:463:0.