Fixed bug where inequalities where displayed in HTML form.