update symbols.txt