Syntax definition cstrkgcb

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

	Ref	Expression
Assertion	cstrkgcb	$$class{𝒢}_{\mathrm{Tarski}}^{\mathrm{CB}}$$