[O] org-mode export to html with png images

[Joseph Vidal-Rosset]

Hello everybody,


I do not succeed to get correct results with exporting .png images for html
files with specific formulas , for example,

with



#+OPTIONS: tex:dvipng


the formula

\begin{prooftree}
\AxiomC{\scriptsize{1}}
\noLine
\UnaryInfC{[image: [\neg A \land A]]}
\RightLabel{\scriptsize{[image: \land E]}}
\UnaryInfC{[image: \neg A]}
\AxiomC{\scriptsize{1}}
\noLine
\UnaryInfC{[image: [\neg A \land A]]}
\RightLabel{\scriptsize{[image: \land E]}}
\UnaryInfC{[image: A]}
\RightLabel{\scriptsize{[image: \neg E]}}
\BinaryInfC{[image: \bot]}
\RightLabel{\scriptsize{[image: \to I~1]}}
\UnaryInfC{[image: (\neg A \land A) \to B]}
\end{prooftree}

does not give a correct .png image for browsers.

Suggestions?
(with imagemagick it is not better).

Thanks

Jo.