Syntax definition cstr

Description: Extend class notation with the class of structures with components numbered below A .

	Ref	Expression
Assertion	cstr	$$class\mathrm{Struct}$$