Syntax definition cstrkgc

Description: Extends class notation with the class of geometries fulfilling the congruence axioms.

	Ref	Expression
Assertion	cstrkgc	$$class{𝒢}_{\mathrm{Tarski}}^C$$