Syntax definition cdgraa

Description: Extend class notation to include the degree function for algebraic numbers.

	Ref	Expression
Assertion	cdgraa	$$class{\mathrm{deg}}_{𝔸}$$