Syntax definition codu

Description: Class function defining dual orders.

	Ref	Expression
Assertion	codu	$$class\mathrm{ODual}$$