Making the inequality typesetting a bit more consistent.