Syntax definition crag

Description: Declare the constant for the class of right angles.

	Ref	Expression
Assertion	crag	$$class{∟}_{𝒢}$$