Syntax definition cbcc

Description: Extend class notation to include the generalized binomial coefficient operation.

	Ref	Expression
Assertion	cbcc	class C𝑐