src/Doc/Datatypes/document/root.tex
changeset 53544 2176a7e40786
parent 53534 de2027f9aff3
child 53552 eed6efba4e3f
     1.1 --- a/src/Doc/Datatypes/document/root.tex	Wed Sep 11 17:17:58 2013 +0200
     1.2 +++ b/src/Doc/Datatypes/document/root.tex	Wed Sep 11 18:32:43 2013 +0200
     1.3 @@ -19,6 +19,7 @@
     1.4  
     1.5  \newcommand{\keyw}[1]{\isacommand{#1}}
     1.6  \newcommand{\synt}[1]{\textit{#1}}
     1.7 +\newcommand{\hthm}[1]{\textbf{\textit{#1}}}
     1.8  
     1.9  %\renewcommand{\isactrlsub}[1]{\/$\sb{\mathrm{#1}}$}
    1.10  \renewcommand{\isactrlsub}[1]{\/$\sb{#1}$}