On Thu, Jun 18, 2020 at 11:35:39PM +0200, Thibaut Cuvelier wrote: > indicating that no real translation was available. I highly suspect that > \varGamma was displayed as "varGamma", i.e. as text, instead of the right > symbol. As far as I know, there is no HTML entity for rare symbols like > \varGamma.
Yep, that's the case. With your patch it gets unicode instead of 'varGamma' and it actually seem to work on less antiquated systems than I have :) Pavel -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel