Syntax definition cedom

Description: Declare the syntax for the Euclidean Domain.

	Ref	Expression
Assertion	cedom	Could not format assertion : No typesetting found for class EDomn with typecode class