Mathematica > Notebooks and Documents > Special Characters >
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).