The object EliminationSequence is a symbol.
The source of this document is in BoijSoederberg.m2:2399:0.