added and implemented Symbolset