Syntax definition cstrkg

Description: Extends class notation with the class of Tarski geometries.

	Ref	Expression
Assertion	cstrkg	$$class{𝒢}_{\mathrm{Tarski}}$$