Added ) in SpecialSymbolToken so it can be consumed.