Syntax definition cinag

Description: Extend class relation with the geometrical "point in angle" relation.

	Ref	Expression
Assertion	cinag	$$class{\in }_{𝒢}^{\angle }$$