Syntax definition ceeng

Description: Extends class notation with the Tarski geometry structure for EE ^ N .

	Ref	Expression
Assertion	ceeng	$$class{𝔼}_{𝒢}$$