Syntax definition wnan

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

	Ref	Expression
Assertion	wnan	wff ( ph -/\ ps )