Syntax definition wxo

Description: Extend wff definition to include exclusive disjunction ("xor").

	Ref	Expression
Assertion	wxo	$$wff\left(\phi ⊻\psi \right)$$