Expressing Inequalities in Formulae