SuchThat

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

Examples

Display the SuchThat operator:

SuchThat[x, x > 0]

Please visit the official Wolfram Language Reference for more details.