This is a symbol for counting roots with multiplicity.
The object Multiplicity is a symbol.
The source of this document is in RealRoots.m2:829:0.