Syntax definition csh

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

	Ref	Expression
Assertion	csh	class SH