Class ReducedSymbol.SyntheticSymbol