Syntax definition cminusr

Description: Introduce the operation of vector subtraction.

	Ref	Expression
Assertion	cminusr	$$class{-}_r$$