RevLex -- a symbol used as an optional argument of MonomialOrder in monoids handled by the engine to indicate that the monomial order is the reverse lexicographic order.
![[next]](next.gif)
![[previous]](previous.gif)
![[up]](up.gif)
![[top]](top.gif)
![[index]](index.gif)