Syntax definition wa

Description: Extend wff definition to include conjunction ("and").

	Ref	Expression
Assertion	wa	$$wff\left(\phi \wedge \psi \right)$$