fixed <= symbol