• DefaultFontProperties is a global option that determines various properties of a font family, such as its character encoding and if it is monospaced.
• For each font in the list, a few characteristics are specified in the form of a list of rules, for example, "Times" {"FontEncoding" Automatic, "FontSerifed" True, "FontMonospaced" False}. • For any font not listed in this option, the properties are deduced from information provided by the system, but this information is not always reliable. DefaultFontProperties can be used to override the system information, if it is inaccurate.