SuchThat

SuchThat[x,y]

displays as x∍y.

Details

Examples

Basic Examples  (1)

In[1]:=
Click for copyable input
Out[1]=

See Also

Exists  ForAll  Colon  VerticalBar

Tutorials

Introduced in 1996
(3.0)