Syntax definition csle

Description: Declare the syntax for surreal less-than or equal.

	Ref	Expression
Assertion	csle	class <_s