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?

# [Tex/LaTex] How to make the ‘such that’ symbol from Set Theory

symbols

###### Related Question

- [Tex/LaTex] How is the philosophy conclusion symbol drawn
- [Tex/LaTex] How to get a double line subset symbol, (but not \Subset)
- [Tex/LaTex] Looking for a specific symbol used in set theory, can’t find on detexify
- [Tex/LaTex] How/Where to find such special symbol/character
- [Tex/LaTex] How to make this symbol

## Best Answer

`\mid`

, as it has the spacing of a binary relation. If you want it to resize, see “How to automatically resize the vertical bar in a set comprehension?”.Have a look at “How to look up a math symbol?” for ideas how you can easily find a particular symbol.