Symbol: catch_term