SuchThat

SuchThat[x,y]
displays as x∍y.

DetailsDetails

  • SuchThat[x,y] has no built-in meaning.
  • x∍y is by default interpreted as SuchThat[x,y].
  • ∍ can be entered as \[SuchThat] or EscstEsc.
  • x∍y∍z groups as x∍(y∍z).
Introduced in 1996
(3.0)