Syntax definition ccn

Description: Extend class notation with the class of continuous functions between topologies.

	Ref	Expression
Assertion	ccn	$$class\mathrm{Cn}$$