\[SuchThat]

  • Unicode: 220D.
  • エイリアス：st
  • 中置形演算子．
  • x y はデフォルトでSuchThat[x,y]として解釈される．
  • x y z はx (y z)とグループ化される．
  • \[ReverseElement]とは異なる．