Syntax definition cotp

Description: Extend class notation to include ordered triple.

	Ref	Expression
Assertion	cotp	class ⟨ 𝐴 , 𝐵 , 𝐶 ⟩