Symbol: tseq