Syntax definition cocv

Description: Extend class notation with orthocomplement of a subset.

	Ref	Expression
Assertion	cocv	$$class\mathrm{ocv}$$