Re: Tweaking lib/symbols for XML entities

2020-06-11 Thread Pavel Sanda
On Tue, Jun 09, 2020 at 07:02:23PM +0200, Thibaut Cuvelier wrote: > This patch is made so that there should not be any change to the XHTML > output. All features are opt-in (name spaces and XML entities). XHTML > output always uses HTML entities (which are very lenient), XML ones should > never be

Re: MathML output:

2020-06-11 Thread Jürgen Spitzmüller
Am Mittwoch, den 10.06.2020, 23:23 +0200 schrieb Thibaut Cuvelier: > Here is a small patch to improve the MathML output: avoid reporting > some fonts as bold when it's not (\mathbb is double-struck, usually > for sets). Thanks, committed. Jürgen signature.asc Description: This is a digitally