Documentation
Publicon
Reference
Preferences
Formatting Options
Font Options
CharacterEncoding
• CharacterEncoding is an option for characters that determines what character encoding the current font is assumed to have.
• The default is CharacterEncoding 
Automatic. With this setting the front end uses information available from the operating system to determine the correct encoding to use. If the font is listed in the DefaultFontProperties option, and a character encoding is specified there, that encoding will be used in preference to the one supplied by the system.
• The possible settings for CharacterEncoding are the same as for $CharacterEncoding.
• See also: DefaultFontProperties.
