Syntax definition cles

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

	Ref	Expression
Assertion	cles	class ≤s