mailing-list for TeXmacs Users

[TeXmacs <address@hidden>]

Hi Vincent,

Unfortunately, I think that this is not a bug, but a problem with
the various viewers that you mention.  The minus sign is very thin,
when using the default font, and several Pdf renderers round
its thickness to zero.  Usually, you will be able to see the minus
by zooming in.

Best wishes, --Joris


On Sat, Jul 25, 2020 at 04:57:58PM +0200, Vincent Douce Mathoscope wrote:
> hi
> 
> a new student has had the bug
> 
> screenshot of the TeXmacs file :
> 
> 
> screenshot of the display of the pdf :
> 
> 
> tested on windows 10 under :
> - acrobat reader DC
> - google chrome
> - microsoft edge
> 
> hope it can help
> 
> Vincent