Adding symbolsets back in