Syntax definition corvc

Description: Extend class notation to include the preimage set mapping operator.

	Ref	Expression
Assertion	corvc	$$class{\circ }_{\mathrm{RV/c}}R$$