Syntax definition cstrkgb

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

	Ref	Expression
Assertion	cstrkgb	$$class{𝒢}_{\mathrm{Tarski}}^B$$