The operators , , and are interpreted as corresponding to the built‐in functions And, Or, and Not, and are equivalent to the keyboard operators &&, ||, and !. The operators , , and correspond to the built‐in functions Xor, Nand, and Nor. Note that is a prefix operator.
xy and x⥰y are both taken to give the built‐in function Implies[x,y]. x∈y gives the built‐in function Element[x,y].
This is interpreted using the built‐in functions And and Implies.
The Wolfram Language supports most of the standard syntax used in mathematical logic. In the Wolfram Language, however, the variables that appear in the quantifiers , , and must appear as subscripts. If they appeared directly after the quantifier symbols then there could be a conflict with multiplication operations.