Syntax definition cee

Description: Declare the syntax for the Euclidean space generator.

	Ref	Expression
Assertion	cee	$$class𝔼$$