Add the '<=' operator