Symbol: cn_term_t