text/kw_macros.tex
changeset 299 f582f921bd95
parent 298 25e551fed344
child 307 285b2a29dff0
--- 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}