plus derreur hevea/hacha

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8471 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 8 insertions, 1 deletions

diff --git a/doc/macros.tex b/doc/macros.tex
index e385381cd..b16c4fb09 100755
--- a/doc/macros.tex
+++ b/doc/macros.tex
@@ -26,7 +26,14 @@
 %END LATEX
 %HEVEA \newenvironment{centerframe}{\begin{center}}{\end{center}}
 
-%HEVEA \newcommand{\vec}[1]{\textbf{#1}}
+%HEVEA \newcommand{\vec}[1]{\mathbf{#1}}
+%HEVEA \newcommand{\ominus}{-}
+%HEVEA \renewcommand{\oplus}{+}
+%HEVEA \renewcommand{\otimes}{\times}
+%HEVEA \newcommand{\land}{\wedge}
+%HEVEA \newcommand{\lor}{\vee}
+%HEVEA \newcommand{\k}[1]{#1}
+%HEVEA \newcommand{\phantom}[1]{\qquad}
 
 %%%%%%%%%%%%%%%%%%%%%%%
 % Formatting commands %