Syntax definition ccncf

Description: Extend class notation to include the operation which returns a class of continuous complex functions.

	Ref	Expression
Assertion	ccncf	$$class\underset{cn}{⟶}$$