Diagrammatic reasoning in mathematics