added symbolset.