Syntax definition ccot

Description: Extend class notation to include the cotangent function, see df-cot .

	Ref	Expression
Assertion	ccot	$$class\cot$$