List

Unary

\+X % negation of X

Binary

X \= Y % not equal
X = Y % equal