Syntax definition cedgf

Description: Extend class notation with an edge function.

	Ref	Expression
Assertion	cedgf	$$class\mathrm{ef}$$