get rid of get-symbolic