Syntax definition ceupth

Description: Extend class notation with Eulerian paths.

	Ref	Expression
Assertion	ceupth	$$class\mathrm{EulerPaths}$$