\[SuchThat]

  • Unicode: 220D.
  • Alias: st.
  • Infix operator.
  • x y is by default interpreted as SuchThat[x,y].
  • x y z groups as x (y z).
  • Not the same as \[ReverseElement].

See Also

\[Exists]  \[ForAll]  \[Colon]  \[VerticalBar]  \[ReverseElement]

Tutorials

Introduced in 1996
(3.0)