Mathematical Reasoning with Diagrams