Syntax definition cpin

Description: Extend class notation with the higher homotopy groups.

	Ref	Expression
Assertion	cpin	$$class{\pi }_{\mathrm{𝑛}}$$