Syntax definition wo

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

	Ref	Expression
Assertion	wo	$$wff\left(\phi \vee \psi \right)$$