cadiz offers an additional infix logical operator known as exclusive or.
It is denoted by the symbol.
The LATEX mark-up of
is \xor.
The troff mark-up of
is xor.
The new operator can be used between expressions and between predicates.
Predicate | = | Predicate , ![]() |
Expression | = | Expression , ![]() |
Its precedence is the same as that of draft Standard Z's inclusive or.
Uses of exclusive or are equivalent to negations of equivalences.
p1 ![]() | ![]() | ![]() ![]() |
e1 ![]() | ![]() | ![]() ![]() |