Syntax definition cdivc

Description: Syntax for the divisibility relation.

	Ref	Expression
Assertion	cdivc	$$class{\parallel }_{ℂ}$$