Syntax definition creps

Description: Extend class notation with words consisting of one repeated symbol.

	Ref	Expression
Assertion	creps	$$class\mathrm{repeatS}$$