diff -r 8479b7be0fcc -r f844cffa5c03 blob1.tex
--- a/blob1.tex	Thu Jul 03 00:08:33 2008 +0000
+++ b/blob1.tex	Thu Jul 03 00:08:58 2008 +0000
@@ -54,7 +54,7 @@
 
 % \DeclareMathOperator{\pr}{pr} etc.
 \def\declaremathop#1{\expandafter\DeclareMathOperator\csname #1\endcsname{#1}}
-\applytolist{declaremathop}{pr}{im}{id}{gl}{ev}{tr}{rot}{Eq}{obj}{mor}{ob}{Rep}{Tet}{cat}{Maps}{Diff}{sign}{supp}{maps};
+\applytolist{declaremathop}{pr}{im}{id}{gl}{ev}{coinv}{tr}{rot}{Eq}{obj}{mor}{ob}{Rep}{Tet}{cat}{Maps}{Diff}{sign}{supp}{maps};