Syntax definition cotp

Description: Extend class notation to include ordered triple.

	Ref	Expression
Assertion	cotp	$$class⟨A,B,C⟩$$