Syntax definition cxko

Description: Extend class notation with a function whose value is the compact-open topology.

	Ref	Expression
Assertion	cxko	class ↑ko