etnms/etnms.tex
changeset 117 0acf6b58236e
parent 116 dfcad6f19e06
child 118 c7825cfacc76
--- a/etnms/etnms.tex	Wed Feb 05 11:11:36 2020 +0000
+++ b/etnms/etnms.tex	Wed Feb 05 11:27:51 2020 +0000
@@ -479,17 +479,17 @@
 
 \begin{center}
 \begin{tabular}{lcl}
-  $\textit{fuse}\;bs\,(\textit{ZERO})$ & $\dn$ & $\textit{ZERO}$\\
-  $\textit{fuse}\;bs\,(\textit{ONE}\,bs')$ & $\dn$ &
-     $\textit{ONE}\,(bs\,@\,bs')$\\
-  $\textit{fuse}\;bs\,(\textit{CHAR}\,bs'\,c)$ & $\dn$ &
-     $\textit{CHAR}\,(bs\,@\,bs')\,c$\\
-  $\textit{fuse}\;bs\,(\textit{ALTS}\,bs'\,as)$ & $\dn$ &
-     $\textit{ALTS}\,(bs\,@\,bs')\,as$\\
-  $\textit{fuse}\;bs\,(\textit{SEQ}\,bs'\,a_1\,a_2)$ & $\dn$ &
-     $\textit{SEQ}\,(bs\,@\,bs')\,a_1\,a_2$\\
-  $\textit{fuse}\;bs\,(\textit{STAR}\,bs'\,a)$ & $\dn$ &
-     $\textit{STAR}\,(bs\,@\,bs')\,a$
+  $\textit{fuse}\;bs \; \ZERO$ & $\dn$ & $\ZERO$\\
+  $\textit{fuse}\;bs\; _{bs'}\ONE$ & $\dn$ &
+     $_{bs @ bs'}\ONE$\\
+  $\textit{fuse}\;bs\;_{bs'}{\bf c}$ & $\dn$ &
+     $_{bs@bs'}{\bf c}$\\
+  $\textit{fuse}\;bs\,_{bs'}\oplus\textit{as}$ & $\dn$ &
+     $_{bs@bs'}\oplus\textit{as}$\\
+  $\textit{fuse}\;bs\; _{bs'}a_1\cdot a_2$ & $\dn$ &
+     $_{bs@bs'}a_1 \cdot a_2$\\
+  $\textit{fuse}\;bs\,_{bs'}a^*$ & $\dn$ &
+     $_{bs @ bs'}a^*$
 \end{tabular}    
 \end{center}