Removed symbolset.