Dear John,

I just noticed the following  new problem with org-mime-htmlize. Here is
an example with the following natural deduction in Gentzen style

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

the words  48=-plain definitionremarkplain  should not appear,  but they
appear with any equation.png

It is maybe the fault of my  configuration, but I except in the user.el,
I do not see where I can search... If you have some idea.


regards,
Joseph Vidal-Rosset