CADiZ

Reference manual / Non-standard extensions to Z / Exclusive or


cadiz offers an additional infix logical operator known as exclusive or. It is denoted by the \xor symbol. The LATEX mark-up of \xor is \xor. The troff mark-up of \xor is xor.

The new operator can be used between expressions and between predicates.

Predicate = Predicate , \xor , Predicate ;
Expression = Expression , \xor , 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 \xor p2   \trarrow   \lnot (p1 \iff p2)
e1 \xor e2   \trarrow   \lnot (e1 \iff e2)

IT 4-Jan-2002