renumber symbols.