Syntax definition ceqlg

Description: Declare the class of equilateral triangles.

	Ref	Expression
Assertion	ceqlg	$$class{Equilaterals}_{𝒢}$$