Syntax definition cofc

Description: Extend class notation to include mapping of an operation to an operation for a function and a constant.

	Ref	Expression
Assertion	cofc	$$class{\circ }_{\mathrm{fc}}R$$