Symbol: txseq