Syntax definition csegle

Description: Declare the constant for the segment less than or equal to relationship.

	Ref	Expression
Assertion	csegle	$$class{\mathrm{Seg}}_{\le }$$