BUILT-IN WOLFRAM LANGUAGE SYMBOL
This function has not been fully integrated into the long-term Wolfram Language, and is subject to change.
is an option for selections that specifies settings for various font suboptions.
- The following suboptions can be specified:
"FontPostScriptName" "Automatic" the name of the closest equivalent PostScript font for a given Wolfram System font "FontType" "Bitmap" whether a given font is bitmapped "OperatorSubstitution" True whether a certain set of characters should be automatically replaced by equivalent Wolfram System characters when entered "WindowsUseTrueTypeNames" True whether a predefined set of font replacement rules are applied (Windows only)
- In the Wolfram System, 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. ). Occasionally, the selected font may be different from the one you intended, due 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, the Wolfram System automatically chooses an appropriate PostScript font.
- With the default setting "OperatorSubstitution" -> True, special characters such as , , or are replaced by the equivalent characters in a special Wolfram System font. This allows, for example, spanning characters to change size when the expression containing them grows larger.
- With the setting "OperatorSubstitution" -> False, such characters are not replaced by equivalent Wolfram Language characters. In this case, spanning characters cannot change size automatically.
- With the default setting "WindowsUseTrueTypeNames" -> True, the fonts Courier, Helvetica, and Times are automatically replaced by the fonts Courier New, Arial, and Times Roman.
- With the setting "WindowsUseTrueTypeNames" -> False, these font substitutions are not made.
- is similar to the global option FontSubstitutions. With FontSubstitutions, the font substitution takes place only if the original font is not available on the system. With "WindowsUseTrueTypeNames" -> True, the font substitution takes place unconditionally, whether or not the original font is available.
Introduced in 1996