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.