Renaming of a symbol.