Syntax definition cprpr

Description: Extend class notation with set of proper unordered pairs.

	Ref	Expression
Assertion	cprpr	$$class\mathrm{PrPairs}$$