Syntax definition cop

Description: Extend class notation to include ordered pair.

	Ref	Expression
Assertion	cop	class ⟨ 𝐴 , 𝐵 ⟩