Syntax definition ceq

Description: Equivalence class used to construct positive fractions.

	Ref	Expression
Assertion	ceq	class ~Q