Syntax definition cmbfm

Description: Extend class notation with the measurable functions builder.

	Ref	Expression
Assertion	cmbfm	$$class{\mathrm{MblFn}}_{\mu }$$