split out symbolic stuff