Syntax definition c1r

Description: The signed real constant 1.

	Ref	Expression
Assertion	c1r	$$class{1}_{𝑹}$$