added Symbolset