Syntax definition cdchr

Description: Extend class notation with the group of Dirichlet characters.

	Ref	Expression
Assertion	cdchr	$$class\mathrm{DChr}$$