Syntax definition cvsca

Description: Extend class notation with scalar product.

	Ref	Expression
Assertion	cvsca	$$class{\cdot }_{𝑠}$$