Syntax definition cltp

Description: Positive real ordering relation.

	Ref	Expression
Assertion	cltp	$$class{<}_{𝑷}$$