Title: Mathematical Reasoning with Diagrams