mailing-list for TeXmacs Users

[Michael Snarski <address@hidden>]

Hi all,

I am wondering whether others have experienced the following when exporting with TeXmacs (1.99.12 on Catalina OSX). I export a .tm file to pdf using File -> Export -> pdf. When the pdf is displayed within a browser (for instance, through Slack), the minus signs are all garbled (screenshot attached). This happens consistently to different people on different machines who try to read my TeXmacs-produced pdfs.

Any ideas?

Thanks in advance,

Michael

Attachment: Screen Shot 2020-11-04 at 2.26.52 PM.png
Description: PNG image