Syntax definition cdiag2

Description: Syntax for the diagonal of the Cartesian square of a set.

	Ref	Expression
Assertion	cdiag2	Could not format assertion : No typesetting found for class _Id with typecode class