| author | Chengsong | 
| Wed, 05 Feb 2020 12:02:21 +0000 | |
| changeset 120 | 1ca011142964 | 
| parent 119 | cc12352272f2 | 
| child 121 | df9e966ecb6d | 
| etnms/etnms.tex | file | annotate | diff | comparison | revisions | 
--- 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]$