Syntax definition cstv

Description: Extend class notation with involution.

	Ref	Expression
Assertion	cstv	$$class{\ast }_{𝑟}$$