Syntax definition cnelbr

Description: Extend wff notation to include the 'not elemet of' relation.

	Ref	Expression
Assertion	cnelbr	class e//