Symbol: tnum_intersect