List Unary \+X % negation of X Binary X \= Y % not equal X = Y % unification X,Y % AND X;Y % OR X xor Y % XOR X -> Y % Implication X == Y % equality X is Y % arithmetic equality
