Syntax definition clcd

Description: Extend class notation with vector space of functionals with closed kernels.

	Ref	Expression
Assertion	clcd	$$class\mathrm{LCDual}$$