removed symbolset