Syntax definition cdit

Description: Extend class notation with the directed integral.

	Ref	Expression
Assertion	cdit	class S_ [ A -> B ] C _d x