changed the appearance of `\le`and `\ge` by using the slanted version