Syntax definition wnor

Description: Extend wff definition to include joint denial ("nor").

	Ref	Expression
Assertion	wnor	$$wff\left(\phi ⊽\psi \right)$$