Syntax definition cangmgm

Description: Extend class relation with the "angle addition" magma.

	Ref	Expression
Assertion	cangmgm	class AngMgm