Syntax definition c1p

Description: Positive real constant 1.

	Ref	Expression
Assertion	c1p	$$class{1}_{𝑷}$$