as you now for sets there are

- a set membership operator, ∈

- a set builder notation { | } (usage example: {n ∈ N | n^2 < 20})

see e.g. Table of mathematical symbols - Wikipedia, the free encyclopedia

which are the correspondent operators to use for sequences (Sequence - Wikipedia, the free encyclopedia)?

I need a sequence membership operator and a sequence builder notation.

Thanks,

Mauro