Syntax definition cpt

Description: Extend class notation with a function whose value is a product topology.

	Ref	Expression
Assertion	cpt	$$class{\prod }_{𝑡}$$