Added the symbolset.