Symbol: tnum_neg