Syntax definition cnmf

Description: Extend class notation with the functional norm function.

	Ref	Expression
Assertion	cnmf	$$class{norm}_{\mathrm{fn}}$$