Diff of /manual/manual.tex

Parent Directory | Revision Log | Revision Graph | Patch

--- manual/manual.tex	2006/06/28 21:20:41	1.39
+++ manual/manual.tex	2006/06/30 05:58:03	1.40
@@ -1,4 +1,4 @@
-% $Header: /home/ubuntu/mnt/e9_copy/manual/manual.tex,v 1.39 2006/06/28 21:20:41 cnh Exp $
+% $Header: /home/ubuntu/mnt/e9_copy/manual/manual.tex,v 1.40 2006/06/30 05:58:03 edhill Exp $
 % $Name:  $
 
 \documentclass[10pt]{book}
@@ -172,6 +172,10 @@
 \def\BFKatv{{\tilde {\BFKav v}}}
 \def\BFKlesssim{{<\atop\sim}}
 
+%  Definitions from EH3:
+\def\CC{C\raise.3ex\hbox{{\footnotesize
+      +}}\raise.3ex\hbox{\footnotesize +}\ }
+
 \begin{document}
 
 \bodytext{bgcolor="#FFFFFFFF"}