diff -r 7e14f79814cd -r 25e551fed344 text/kw_macros.tex --- 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}