The object Substitution is a symbol.
The source of this document is in TestIdeals/EthRootsDoc.m2:266:0.