Syntax definition cqpa

Description: Algebraic completion of the p -adic rational numbers.

	Ref	Expression
Assertion	cqpa	$$class\overline{{\mathbb{Q}}_p}$$