Syntax definition c1q

Description: The positive fraction constant 1.

	Ref	Expression
Assertion	c1q	$$class{1}_{𝑸}$$