Syntax definition cstrkg

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

	Ref	Expression
Assertion	cstrkg	class TarskiG