TeX - LaTeX Stack Exchange is a question and answer site for users of TeX, LaTeX, ConTeXt, and related typesetting systems. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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?

share|improve this question
up vote 37 down vote accepted

\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.

share|improve this answer
2  
If you want the vertical bar to resize, it's better, spacing-wise, to use (inside a macro, to avoid unnecessary typing) \left\{ x \in X \mathrel{}\middle|\mathrel{} x > \frac{1}{2}\right\} as mentioned in tex.stackexchange.com/questions/5502 – Philippe Goutet Dec 1 '10 at 9:42
    
Actually it is probably best to use the bracket package suggested by Will in the link above. – Caramdir Dec 2 '10 at 3:23
2  
The problem with the bracket package is that it fiddles with the spacing in ways that may not be wanted. For example, it inserts medium space on the inside as if you typed \{\: and \:\}. This will not look good in a context like \{ x \mid x \neq 0 \}/\{x > 0\}. – Philippe Goutet Dec 3 '10 at 17:44

Try the symbol \ni which is pretty close

share|improve this answer
    
How is this symbol closer to the existing answer? Could you specify a context in which your suggestion has the meaning of a "such that" symbol in set theory? – cryingshadow Jan 31 at 19:01
    
Hi Jim, welcome to the site! This answer is not actually correct, I don't believe. I think the OP is looking for the symbol that looks like | whereas \ni produces ∋. Not a good match at all. Do you know, I think you might be right that ∋ can be used for a similar sort of purpose, but I don't think it's the one the OP is after here. Please have a little look at the tour and perhaps visit the help centre to learn more about the site :) – Au101 Jan 31 at 19:02

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.