Zulip Chat Archive

Stream: new members

Topic: Latex UTF-8 question


view this post on Zulip 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.):
editorView.png
It corresponds to this output:
printout.png

view this post on Zulip 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:
https://tex.stackexchange.com/questions/46199/texshop-doesnt-remember-file-encoding

view this post on Zulip 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.

view this post on Zulip 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

view this post on Zulip Reid Barton (Jul 19 2020 at 17:26):

I mean if you ran that specific iconv command

view this post on Zulip Reid Barton (Jul 19 2020 at 17:27):

In 2020 you'd hope that everything would default to UTF-8...

view this post on Zulip Yury G. Kudryashov (Jul 19 2020 at 21:59):

What do you think about using an editor that supports unicode?

view this post on Zulip Dan Stanescu (Jul 19 2020 at 22:00):

Mine does. The problem was somewhere else. It is fixed thanks to @Rob Lewis

view this post on Zulip 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