2

If a is a set

a \leftarrow { b| b must satisfies property}

but if a is an element

a \leftarrow b| b must satisfies property

is this a usual notation? Or what other symbol should I use for the "such that" (|) symbol?

Werner
  • 603,163
william007
  • 4,781
  • 1
    You can use \mid. – egreg Feb 20 '13 at 10:31
  • I have never seen such a notation, and it is confusing, too: what happens when there are several b that satisfy the condition? Which one gets assigned to a? – mafp Feb 20 '13 at 10:34
  • As egreg points out, \mid seems to be a good choice. Otherwise, you can try and find the symbol using either Detexify (http://detexify.kirelabs.org/classify.html) or the Comprehensive LaTeX Symbol List (http://mirrors.dotsrc.org/ctan/info/symbols/comprehensive/symbols-a4.pdf). – Svend Tveskæg Feb 20 '13 at 10:48
  • If you really ask about a mathematical notation and not about a way how to typeset it in (La)TeX, you should better ask on math.SE ;) – yo' Feb 20 '13 at 17:02
  • @Werner It is not really an exact duplicate as it also asks for a typographical convention. – mafp Feb 20 '13 at 17:04
  • @mafp, then how would you do in such case to represent the "such that"? – william007 Feb 20 '13 at 21:15
  • @Werner yes, mafp is right. – william007 Feb 20 '13 at 21:16
  • @SvendMortensen The problem is I am not sure which symbol is suitable – william007 Feb 20 '13 at 21:18
  • @william007: In that sense, the question about symbol usage and suitability in the context that you're after, is more suitable on math.SE. – Werner Feb 20 '13 at 21:19
  • 2
    @william007 You first have to define how you make the assignment well defined, i.e., how do you ensure that exactly one b is selected. If, e.g., you chose a minimal b, then a \leftarrow \argmin \{b \mid b\text{ fulfils } P\} would do. – mafp Feb 20 '13 at 21:23

0 Answers0