Syntax definition chod

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

	Ref	Expression
Assertion	chod	$$class{-}_{\mathrm{op}}$$