Syntax definition wnnf

Description: Syntax for the nonfreeness quantifier.

	Ref	Expression
Assertion	wnnf	$$wffℲ\text{'}x\phi$$