Class SymbolWithManyNames