Syntax definition cops

Description: Extend class notation with orthoposets.

	Ref	Expression
Assertion	cops	$$class\mathrm{OP}$$