Syntax definition ckq

Description: Extend class notation with the Kolmogorov quotient function.

	Ref	Expression
Assertion	ckq	$$class\mathrm{KQ}$$