text/kw_macros.tex
changeset 192 e7a8c44c05dd
parent 119 a044fda18400
child 197 408d3bf2d667
--- a/text/kw_macros.tex	Thu Dec 17 04:37:12 2009 +0000
+++ b/text/kw_macros.tex	Fri Dec 18 06:06:43 2009 +0000
@@ -24,6 +24,8 @@
 \def\ot{\otimes}
 \def\inv{^{-1}}
 
+\def\spl{_\pitchfork}
+
 %\def\nn#1{{{\it \small [#1]}}}
 \def\nn#1{{{\color[rgb]{.2,.5,.6} \small [#1]}}}
 \long\def\noop#1{}