Class ReducedSymbol