Added lots of new symbols