Syntax definition cehl

Description: Extend class notation with real Euclidean spaces.

	Ref	Expression
Assertion	cehl	class 𝔼hil