Syntax definition chod

Description: Extend class notation with difference of Hilbert space operators.

	Ref	Expression
Assertion	chod	class −op