Text this: Mathematical reasoning with diagrams :