Add \le, \ge, \ne symbols

Auditors: eater