Syntax definition ccgra

Description: Declare the constant for the congruence between angles relation.

	Ref	Expression
Assertion	ccgra	$$class{\sim }_{𝒢}^{\angle }$$