Syntax definition cqp

Description: The set of p -adic rational numbers.

	Ref	Expression
Assertion	cqp	$$class{\mathbb{Q}}_p$$