Symbol: sm_to_term