added lots of new symbols