This is documentation for Mathematica 6, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.1)
Mathematica Character Name

\[SuchThat]

  • Unicode: 220D.
  • Alias: Esc st Esc.
  • Infix operator.
  • x ∍ y is by default interpreted as SuchThat[x, y].
  • x ∍ y ∍ z groups as x ∍ (y ∍ z).