Syntax definition cfne

Description: Extend class definition to include the "finer than" relation.

	Ref	Expression
Assertion	cfne	$$class\mathrm{Fne}$$