added a few symbols