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]$