Symbol: sc_term_match