Syntax definition cxko

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

	Ref	Expression
Assertion	cxko	$$class{^}_{\mathrm{ko}}$$