Update the `diagrams` tool to workaround Lean Prolog lack of support for the standard `0'Char` notation