diff options
| author | Karl Berry <karl@gnu.org> | 1996-08-20 18:37:11 +0000 |
|---|---|---|
| committer | Karl Berry <karl@gnu.org> | 1996-08-20 18:37:11 +0000 |
| commit | 2602fb8e7165d4eb382dcb2480148d0beb142ed0 (patch) | |
| tree | ce6b02f0e58076b27d00250a103b342e4428ca6c | |
| parent | bfce132399896cdb206ba239728e39dc03e9356f (diff) | |
| download | gunmake-2602fb8e7165d4eb382dcb2480148d0beb142ed0.tar.gz | |
(\key): Typeset a lozenge around the argument (from
gildea@intouchsys.com).
| -rw-r--r-- | texinfo.tex | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/texinfo.tex b/texinfo.tex index b2c246e..759e3c1 100644 --- a/texinfo.tex +++ b/texinfo.tex @@ -1192,7 +1192,15 @@ where each line of input produces a line of output.} } \let\ttfont=\t \def\samp #1{`\tclose{#1}'\null} -\def\key #1{{\ttsl \nohyphenation \uppercase{#1}}\null} +\setfont\smallrm\rmshape{8}{1000} +\font\smallsy=cmsy9 +\def\key#1{{\smallrm\textfont2=\smallsy \leavevmode\hbox{% + \raise0.4pt\hbox{$\langle$}\kern-.08em\vtop{% + \vbox{\hrule\kern-0.4pt + \hbox{\raise0.4pt\hbox{\vphantom{$\langle$}}\uppercase{#1}}}% + \kern-0.4pt\hrule}% + \kern-.06em\raise0.4pt\hbox{$\rangle$}}}} +%\def\key #1{{\ttsl \nohyphenation \uppercase{#1}}\null} \def\ctrl #1{{\tt \rawbackslash \hat}#1} \let\file=\samp |