I am looking for the 'such that' symbol in set theory. I don't know what it's called so I'm not sure how to look for it. For the moment, I am just using this '|'. What is the appropriate symbol?
Have a look at “How to look up a math symbol?” for ideas how you can easily find a particular symbol.