Syntax definition csh

Description: Extend class notation with set of subspaces of a Hilbert space.

	Ref	Expression
Assertion	csh	$$class{\mathbf{S}}_{\mathscr{H}}$$