I was brought up with the long vertical bar used in *set-builder* notation: when you define a set as all members of an existing set, *such that* some conditions hold. It seems more common these days for people to use the colon, but as an old stick-in-the-mud I prefer the vertical bar -- it's more dramatic. For other uses, I was brought up on the "flipped epsilon", a backwards epsilon (written as a backwards c with a middle bar, not as two mini-c's) with its middle bar extended to the left about two character-lengths. A number of people also use "s.t." to abbreviate "such that", but I prefer the symbol -- it's more distinctive and language-independent. (Almost every class where I've used the symbol, I've had to explain it to the class, which had never seen it before.) --Dan On Jun 11, 2014, at 8:59 AM, Marc LeBrun <mlb@well.com> wrote:
1. Any opinions on the best symbol for "such that"? I've seen colon, vertical-bar, and flipped-epsilon/member-of.