Syntax definition wnan

Description: Extend wff definition to include alternative denial ("nand").

	Ref	Expression
Assertion	wnan	$$wff\left(\phi ⊼\psi \right)$$