Added some symbols