Syntax definition cind

Description: Extend class notation with the indicator function generator.

	Ref	Expression
Assertion	cind	class 𝟭