updated symbolset