Syntax definition cdp2

Description: Constant used for decimal fraction constructor. See df-dp2 .

	Ref	Expression
Assertion	cdp2	class _ 𝐴 𝐵