Syntax definition ccomf

Description: Extend class notation to include functionalized composition operation.

	Ref	Expression
Assertion	ccomf	$$class{\mathrm{comp}}_{𝑓}$$