Syntax definition cstrkgb

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

	Ref	Expression
Assertion	cstrkgb	class TarskiGB