Syntax definition wxo

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

	Ref	Expression
Assertion	wxo	wff ( 𝜑 ⊻ 𝜓 )