2014-07-08 15:01 GMT+02:00 Joseph Vidal-Rosset <joseph.vidal.rosset@gmail.com>:

That's strange because it works well with LaTeX export and even with
latex-preview-image and org-htmlize. This image of implication
elimination rule in my gnus-message should be nice:

\begin{prooftree} \AxiomC{$A \to B$} \AxiomC{$A$} \RightLabel{\scriptsize{$\to E$}} \BinaryInfC{$B$} \end{prooftree}



No. I see  now the image in my browser, it is not nice at all... I do not understand why. :(

Jo.