Syntax definition cehl

Description: Extend class notation with real Euclidean spaces.

	Ref	Expression
Assertion	cehl	$$class{𝔼}_{\mathrm{hil}}$$