Latex UTF-8 question

Stream: new members

[Dan Stanescu]

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

[Reid Barton]

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

[Dan Stanescu]

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]

If you ran the converter it probably made things worse--it looks like your file is already really in UTF-8

[Reid Barton]

I mean if you ran that specific iconv command

[Reid Barton]

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

[Yury G. Kudryashov]

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

[Dan Stanescu]

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

[Yury G. Kudryashov]

BTW, if you have problems with encoding, then uploading the file gives more information than screenshots.