put symbolset back