--- 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}