<= operator