Clash with MathJax

[nathanael-fijalkow]

[EDIT: I opened this issue a few days ago and since then figured out where the issue exactly is.]

Hi,
Many thanks for this much needed package!

It seems that I cannot at the same time using sphinx_proof and MathJax in Jupyter-Book. Here's (the relevant part of) my _config.yml:

sphinx:
  extra_extensions:
    - sphinx_proof
  config:
    mathjax_config:
      TeX:
        Macros:
          "R"      : "\\mathbb{Reach}"
    mathjax_path: https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js

And here is simple.md (the only file in the book)

# Simple

```{prf:axiom} Completeness of $\R$
:label: my-axiom

Every Cauchy sequence on the real line is convergent.
```

Then \R prints in red because the macros was not recognised. Note that this means that MathJax is loaded (for instance, it does display correctly when replacing by \mathbb{R}).

Many thanks for your help!
Nath