From 4c021bc57fda82fc97ae1e10768c8b59f6f85285 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 7 Feb 2007 18:54:55 +0000
Subject: Relecture/nettoyage chapitre Gallina; déplacement section Function
 dans extensions de Gallina. Divers. (report revisions 9614 et 9594 de la
 branche 8.1 vers le trunk)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9615 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/common/macros.tex | 1 +
 1 file changed, 1 insertion(+)

(limited to 'doc/common')

diff --git a/doc/common/macros.tex b/doc/common/macros.tex
index 418fe1436e..11301a5fe3 100755
--- a/doc/common/macros.tex
+++ b/doc/common/macros.tex
@@ -280,6 +280,7 @@
 \newcommand{\Function}{{\textbf{function }}}
 \newcommand{\Rec}{{\textbf{rec }}}
 %\newcommand{\cn}{\centering}
+\newcommand{\nth}{\mbox{$^{\mbox{\scriptsize th}}$}}
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 % Math commands and symbols %
-- 
cgit v1.2.3