Syntax definition cstrkge

Description: Extends class notation with the class of geometries fulfilling Euclid's axiom.

	Ref	Expression
Assertion	cstrkge	$$class{𝒢}_{\mathrm{Tarski}}^E$$