Syntax definition caa

Description: Extend class notation to include the set of algebraic numbers.

	Ref	Expression
Assertion	caa	class 𝔸