Syntax definition cphtpc

Description: Extend class notation with the path homotopy relation.

	Ref	Expression
Assertion	cphtpc	$$class{\simeq }_{\mathrm{ph}}$$