--- a/text/kw_macros.tex	Sat May 29 08:35:06 2010 -0700
+++ b/text/kw_macros.tex	Sat May 29 15:10:45 2010 -0700
@@ -28,6 +28,7 @@
 \def\ot{\otimes}
 \def\vphi{\varphi}
 \def\inv{^{-1}}
+\def\ol{\overline}
 
 \def\spl{_\pitchfork}