Syntax definition cdp

Description: Decimal point operator. See df-dp .

	Ref	Expression
Assertion	cdp	$$class.$$