revert removal of symbol