diff --git a/Doc/myformat.sty b/Doc/myformat.sty index 431cfc16565..1887953ddfb 100644 --- a/Doc/myformat.sty +++ b/Doc/myformat.sty @@ -173,7 +173,7 @@ \renewcommand{\emph}[1]{{\em #1\/}} \newcommand{\strong}[1]{{\bf #1}} -\newcommand{\varvars}[1]{{\def\,{\/{\tt\char`\,}}\def\({\/{\tt\char`\(}}\def\){\/{\tt\char`\)}}\var{#1}}} +\newcommand{\varvars}[1]{{\def\,{\/{\char`\,}}\var{#1}}} \newif\iftexi\texifalse \newif\iflatex\latextrue