Stream: new members
Topic: Latex UTF-8 question
Dan Stanescu (Jul 19 2020 at 17:04):
Is there anyone who knows how to instruct my Latex editor on a Mac (i.e. TexShop, usually considered one of the best Latex interfaces) to correctly display UTF characters? This is what I see in the editor window, notice the "some symbols" line (the bad visual representation makes the characters difficult to copy + paste, etc.):
It corresponds to this output:
Reid Barton (Jul 19 2020 at 17:05):
It looks like your editor doesn't understand that the file is in UTF-8. Maybe these answers can help:
Dan Stanescu (Jul 19 2020 at 17:25):
Thanks @Reid Barton ! But whatever I try from that page just fails, TexShop just keeps opening the file as Latin encoding although I set all the preferences otherwise, I ran the converter etc.
This is not quite Lean-related so not worth pursuing, but if anyone has a different experience with the same setup (TexShop) I'd appreciate any help.
Reid Barton (Jul 19 2020 at 17:25):
If you ran the converter it probably made things worse--it looks like your file is already really in UTF-8
Reid Barton (Jul 19 2020 at 17:26):
I mean if you ran that specific
Reid Barton (Jul 19 2020 at 17:27):
In 2020 you'd hope that everything would default to UTF-8...
Yury G. Kudryashov (Jul 19 2020 at 21:59):
What do you think about using an editor that supports unicode?
Dan Stanescu (Jul 19 2020 at 22:00):
Mine does. The problem was somewhere else. It is fixed thanks to @Rob Lewis
Yury G. Kudryashov (Jul 19 2020 at 22:02):
BTW, if you have problems with encoding, then uploading the file gives more information than screenshots.
Last updated: May 13 2021 at 19:20 UTC