Syntax definition clcv

Description: Extend class notation with the covering relation for a left module or left vector space.

	Ref	Expression
Assertion	clcv	$$class{⋖}_L$$