Syntax definition cttg

Description: Function to convert an algebraic structure to a Tarski geometry.

	Ref	Expression
Assertion	cttg	$$class{to𝒢}_{\mathrm{Tarski}}$$