Symbol: tc_num