refine symbols