Syntax definition cst

Description: Extend class notation with set of states on a Hilbert lattice.

	Ref	Expression
Assertion	cst	$$class\mathrm{States}$$