Syntax definition wxo

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

	Ref	Expression
Assertion	wxo	wff ( ph \/_ ps )