Syntax definition carg

Description: Syntax for the argument of a nonzero extended complex number.

	Ref	Expression
Assertion	carg	$$class\mathrm{Arg}$$