Symbol: tn_seq