Syntax definition cmpq

Description: Positive pre-fraction multiplication.

	Ref	Expression
Assertion	cmpq	$$class{\cdot }_{\mathrm{𝑝𝑸}}$$