Documentation
Publicon
Reference
Preferences
Formatting Options
Font Options
PrivateFontOptions
{...}
"FontPostScriptName"
• "FontPostScriptName" is an option for characters that identifies the name of the closest equivalent PostScript font for a given Publicon font.
• In Publicon, each characteristic of a font is specified by a separate option such as FontFamily, FontWeight, or FontSlant. At the time of printing, this information is used to select the closest equivalent PostScript font (e.g. "Times-BoldItalic"). Occasionally, the selected font may be different from the one you intended owing to the lack of a uniform naming convention for PostScript fonts. In such cases you can explicitly specify the name of the font to be used.
• With the default setting "FontPostScriptName" 
Automatic, Publicon automatically chooses an appropriate PostScript font.
"FontType"
• "FontType" is an option for characters that determines if a given font is bitmapped or not.
• The default setting is "FontType" "Bitmap".
"OperatorSubstitution"
• "OperatorSubstitution" is an option for characters that determines if a selected set of characters should be automatically replaced by equivalent Publicon characters when entered.
• With the default setting, "OperatorSubstitution" True, special characters such as {, (, or [ are replaced by the equivalent characters in a special Publicon font. This allows, for example, spanning characters to change size when the expression containing them grows larger.
• With the setting "OperatorSubstitution" False, the above characters are not replaced by equivalent Publicon characters. In this case, spanning characters cannot change size automatically.
"WindowsUseTrueTypeNames"
• "WindowsUseTrueTypeNames" is a notebook option that determines if a predefined set of font replacement rules are applied in a notebook. (Windows only)
• With the default setting, "WindowsUseTrueTypeNames" True, the fonts Courier, Helvetica, and Times are automatically replaced by the fonts Courier New, Arial, and Times Roman, respectively.
• With the setting "WindowsUseTrueTypeNames" False, the above font substitutions are not made.
• This option is similar to the global option FontSubstitutions. The difference is that in the latter case, the font substitution takes place only if the original font is not available on the system. With "WindowsUseTrueTypeNames" True, on the other hand, the font substitution takes place unconditionally, whether or not the original font is available.
• See also: FontSubstitutions.
