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 /build/reproducible-path/macaulay2-1.25.05+ds/M2/Macaulay2/packages/Macaulay2Doc/ov_monomial_orderings.m2:463:0.