## 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.):
editorView.png
It corresponds to this output:
printout.png

#### 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

#### 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 iconv command

#### 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