Syntax definition cdc

Description: Constant used for decimal constructor.

	Ref	Expression
Assertion	cdc	class ; 𝐴 𝐵