Hello everybody,
To convert equations from *.org into *.html, Mathjax is certainly the best solution but unfortunately, this solution does not work as soons as one need to use some texlive package convenient to produce easily proofs in specific format
(for example if one uses bussproofs.sty of fitch.sty ).
That is why imagemagick is useful. Unfortunately, the produced png images in my ltxpng/ have a very bad quality and if the browser load them, the result is terrible.
I met already this problem and I do not remind what was the solution...
iQa-completeness-proof-1_f9d952ab86d791757182fdd3144d39d1319d5b4c.png