for fear
authorChengsong
Wed, 05 Feb 2020 12:02:21 +0000
changeset 120 1ca011142964
parent 119 cc12352272f2
child 121 df9e966ecb6d
for fear
etnms/etnms.tex
--- a/etnms/etnms.tex	Wed Feb 05 12:01:57 2020 +0000
+++ b/etnms/etnms.tex	Wed Feb 05 12:02:21 2020 +0000
@@ -599,7 +599,7 @@
      $\textit{if}\;\textit{bnullable}\,a$\\
   & &$\textit{then}\;bs\,@\,\textit{bmkeps}\,a$\\
   & &$\textit{else}\;bs\,@\,\textit{bmkeps}\,(_{bs}\textit{as})$\\
-  $\textit{bmkeps}\,(_{bs} a_1 \cdota_2)$ & $\dn$ &
+  $\textit{bmkeps}\,(_{bs} a_1 \cdot a_2)$ & $\dn$ &
      $bs \,@\,\textit{bmkeps}\,a_1\,@\, \textit{bmkeps}\,a_2$\\
   $\textit{bmkeps}\,(_{bs}a^*)$ & $\dn$ &
      $bs \,@\, [1]$