Added some new symbols to be replaced