Added figures for leq, glb, lub