Syntax definition chli

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

	Ref	Expression
Assertion	chli	$$class\underset{v}{⇝}$$