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