Syntax definition crediv

Description: Real number division.

	Ref	Expression
Assertion	crediv	Could not format assertion : No typesetting found for class /R with typecode class