Syntax definition csegle

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

	Ref	Expression
Assertion	csegle	class Seg≤