fixed add_symbols, remove_symbols, symbols functions in util.py