Symbol: tnum_or