added some symbols