Syntax definition cort

Description: Extend class notation with orthogonal complement in CH .

	Ref	Expression
Assertion	cort	class ⊥