Syntax definition cltq

Description: Positive fraction ordering relation.

	Ref	Expression
Assertion	cltq	$$class{<}_{𝑸}$$