Syntax definition cle

Description: Extend wff notation to include the 'less than or equal to' relation.

	Ref	Expression
Assertion	cle	class ≤