Unicode weirdness with mmt make pdflatex

UniFormal / MMT

The MMT Language and System

https://uniformal.github.io/

Other

68 stars 23 forks source link

Unicode weirdness with mmt make pdflatex #481

Closed lambdaTotoro closed 5 years ago

lambdaTotoro commented 5 years ago

Currently, there is some weirdness with some German unicode in stex. For example, if one builds a file that has (or includes) a ß¹ with mmt build pdflatex, it shows up as SS in the resulting PDF. If you run just pdflatex over the same file, it works as intended.

This is not acceptable and should be fixed.

[1]: Such as .../MiKoCourses/IWGS/source/SS19/exam.tex

kohlhase commented 5 years ago

I think the problem is that mmt build pdflatex uses xeTeX under the hood and not pdflatex. xeTeX is unicode-aware, and has a better understandig of unicode. I am not sure that we can fix this (apart from fixing the unicode errors in the source code which were created by copy/paste from Libreoffice.