Version: 4.2.1
11.6 Various String Forms
Typesets the
decoded pre-content with emphasis (e.g., in italic).
Typesets the
decoded pre-content as a defined term (e.g., in
italic). Consider using deftech instead, though, so that uses
of tech can hyper-link to the definition.
Typesets the
decoded pre-content as a string that appears in a GUI,
such as the name of a button.
Typesets the given combination of a GUI’s menu and item name.
Typesets the
decoded pre-content as a file name (e.g., in
typewriter font and in in quotes).
Typesets the
decoded pre-content as a command line (e.g., in
typewriter font).
Typesets the given
decoded pre-content as an environment variable (e.g.,
in typewriter font).
Typesets the given
decoded pre-content a long + flag (e.g., in
typewriter font with two leading +s).
The decoded
pre-content is further transformed:
Any immediate 'rsquo is converted to 'prime.
Parentheses and sequences of decimal digits in immediate strings are left as-is, but any other immediate string is italicized.
Extensions to math are likely, such as recognizing _ and ^ for subscripts and superscripts.