text/kw_macros.tex
changeset 719 76ad188dbe68
parent 568 dfc5aa4a64dd
child 789 787914e9e859
--- a/text/kw_macros.tex	Wed Feb 23 12:59:31 2011 -0800
+++ b/text/kw_macros.tex	Wed Mar 09 06:48:39 2011 -0700
@@ -32,6 +32,7 @@
 \def\BD{BD}
 
 \def\spl{_\pitchfork}
+\def\trans#1{_{\pitchfork #1}}
 
 %\def\nn#1{{{\it \small [#1]}}}
 \def\nn#1{{{\color[rgb]{.2,.5,.6} \small [[#1]]}}}