Syntax definition wnel

Description: Extend wff notation to include negated membership.

	Ref	Expression
Assertion	wnel	wff A e/ B