\backepsilonThe symbol \backepsilon is used to denote the 'such that' relation in set theory, often used in the context of describing elements that belong to a set. It is the reverse of the epsilon symbol (\epsilon), which is used to denote membership in a set.
Indicates that x is such that it belongs to set A.
x \backepsilon AThere exists an x such that x belongs to set A and satisfies property P.
\exists x \backepsilon A : P(x)For all x such that x belongs to set B, there exists a y such that y belongs to set C and x is less than y.
\forall x \backepsilon B, \exists y \backepsilon C : x < y