added symbolset