Syntax definition wnnf

Description: Syntax for the nonfreeness quantifier.

	Ref	Expression
Assertion	wnnf	wff F// x ph