Syntax definition ccosh

Description: Extend class notation to include the hyperbolic cosine function. see df-cosh .

	Ref	Expression
Assertion	ccosh	$$class\cosh$$