Syntax definition cstv

Description: Extend class notation with involution.

	Ref	Expression
Assertion	cstv	class *𝑟