isulleq
→isorleq