Le lun.  09 oct. 2017 à  09:22:23 , Eric S  Fraga <esflists@gmail.com> a
envoyé ce message:
> On Monday,  9 Oct 2017 at 09:22, Joseph Vidal-Rosset wrote:
>> I sent two days ago this message to John Kitchin, because I am a
>> scimax user. I meet a problem with gnus when I want to export a png
>> image: the comment « 48=-plain definitionremarkplain » appears with
>> any png image, as with imagemagick and with dvipng either. John told
>> me that is probably an org-mode problem. Therefore I post my question
>> to the list.
>
> I found your email difficult to process.  Would you maybe please post a
> small example that illustrates what you wish to accomplish that is not
> working?

Example :

\[
\infer[^{\lnot E}]{\bot}{\lnot A & A}
\]


regards,
Joseph Vidal-Rosset