Syntax definition cnsb

Description: Extend class notation with vector subtraction in a normed complex vector space.

	Ref	Expression
Assertion	cnsb	$$class{-}_v$$