Added integration symbol