# HG changeset patch
# User Chengsong
# Date 1580904141 0
# Node ID 1ca01114296482744fe7491d018b989bf8a7ff55
# Parent  cc12352272f2ed2d56828399aab557d7158001b8
for fear

diff -r cc12352272f2 -r 1ca011142964 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]$