Added tabs for inequalities.