Syntax definition chmph

Description: Extend class notation with the relation "is homeomorphic to.".

	Ref	Expression
Assertion	chmph	class ≃