Syntax definition creverse

Description: Syntax for the word reverse operator.

	Ref	Expression
Assertion	creverse	$$class\mathrm{reverse}$$