11.6 Various String Forms
pre-content : any/c |
Typesets the decoded pre-content with emphasis (e.g., in italic).
pre-content : any/c |
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.
pre-content : any/c |
Typesets the decoded pre-content as a string that appears in a GUI, such as the name of a button.
menu-name : string? |
item-name : string? |
Typesets the given combination of a GUI’s menu and item name.
pre-content : any/c |
Typesets the decoded pre-content as a file name (e.g., in typewriter font and in in quotes).
pre-content : any/c |
Typesets the decoded pre-content as a command line (e.g., in typewriter font).
pre-content : any/c |
Typesets the given decoded pre-content as an environment variable (e.g., in typewriter font).
pre-content : any/c |
Typesets the given decoded pre-content as a flag (e.g., in typewriter font with a leading -).
pre-content : any/c |
Typesets the given decoded pre-content a long flag (e.g., in typewriter font with two leading -s).
pre-content : any/c |
Typesets the given decoded pre-content as a + flag (e.g., in typewriter font with a leading +).
pre-content : any/c |
Typesets the given decoded pre-content a long + flag (e.g., in typewriter font with two leading +s).
pre-content : any/c |
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.