section 5: replacing \bigl, \bigr by \left and \right where appropriate