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

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