combined symbol and token into one file again... -sai