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: > > [image: \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.