Syntax definition wb

Description: Extend wff definition to include the biconditional connective.

	Ref	Expression
Assertion	wb	$$wff\left(\phi \leftrightarrow \psi \right)$$