Syntax definition cop

Description: Extend class notation to include ordered pair.

	Ref	Expression
Assertion	cop	$$class⟨A,B⟩$$