Syntax definition chli

Description: Extend class notation with convergence relation in Hilbert space.

	Ref	Expression
Assertion	chli	class ⇝𝑣