Symbol for &ldquo;such that&rdquo; (not in set) If A is a set, we can use the set notation (A={b∣property p_{1} of b}) But say A is an element like b, (A=b∣property p_{1} of b) is this a usual notation? I am trying to say that A is a b that such that( ∣ ) it satisfies property (displaystyle{p}_{{{1}}}) of b, and assume that exactly one b satisfies property (displaystyle{p}_{{{1}}}). Otherwise, is there a more usual convention to express this?

Question

Symbol for &amp;ldquo;such that&amp;rdquo; (not in set) If A is a set, we can use the set notation (A={b∣property p_{1} of b}) But say A is an element like b, (A=b∣property p_{1} of b) is this a usual notation? I am trying to say that A is a b that such that( ∣ ) it satisfies property (displaystyle{p}_{{{1}}}) of b, and assume that exactly one b satisfies property (displaystyle{p}_{{{1}}}). Otherwise, is there a more usual convention to express this?

Barbara Meeker · Accepted Answer

&#039;Such that&#039;&#039; is occasionally denoted by ni=ni, e.g., in lecture, to save time, as a shortcut. Others, when writing in lectures or taking notes, and again, to save time, use &#039;&#039;s.t.&#039;&#039;.But in writing anything to submit (homework, publication), when possible, it is best to just write the words &#039;&#039;such that&#039;&#039;.In sets though, like set-builder notation, both ∣ and : are used:{x∈R∣x&amp;lt;0}{x∈R:x&amp;lt;0}&#039;&#039;The set of all x∈R such that x&amp;lt;0.

vrangett · Accepted Answer

{g∈G:Φ(g)} is the set of those g in G if Φ is true. I also see : for such that in piecewise functions a lot, like f(x)={1:a∈B2:a⧸∈B which reads the same way. {g∣g∈G} first gives the form of stuff that you want, then &#039;&#039;such that&#039;&#039; g is in wherever. So, grammatically it seems like what you say would make sense. I have never seen it used like that though. Personally, I like to use ni, which is a (somewhat outdated) alternative such that symbol. (Actually this is not exactly how it&#039;s written, as a backwards ∈. It should be thinner and taller, like a longbow. I can&#039;t find a typesetting which works on MSE&#039;s TeX though.) The modern way to do it is to use either | or : in sets and mathematical expressions, but just write it out if you&#039;re anywhere else. If you must abbreviate it, write s.t.

alenahelenash · Accepted Answer

The symbol used in my experience is not the ordinary backwards epsilon but is similar to ∋ Unicode 22FA (hex). As some have noted, it also differs by the length of the median bar which penetrates the curved outer shell. Since I&#039;m trying to write in a form that facilitates translation of notes into Notes - IE Semantic Normal Form - I use many symbols, and am trying to learn more. My experiments attempt to include logics, more discussed by philosophic logicians, to clarify contexts and contingencies like mood, time relations, belief states, type of evidence, modality of argument, and the like. I would welcome references to others learning and playing with similar topics.

Symbol for “such that” (not in set)If A is a set, we can use the

Answered question

Answer & Explanation

New Questions in Other