Syntax definition c0v

Description: Extend class notation with zero vector in Hilbert space.

	Ref	Expression
Assertion	c0v	class 0ℎ