CARTOGRAPHER: A Tool for String Diagrammatic Reasoning (Tool Paper)