Syntax definition cleag

Description: Extend class relation with the "angle less than" relation.

	Ref	Expression
Assertion	cleag	class ≤∠