Syntax definition csle

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

	Ref	Expression
Assertion	csle	class ≤s