etnms/etnms.tex
changeset 123 fb7472a29058
parent 122 dc0cdfc5fc66
child 125 788f4aa28bc5
--- a/etnms/etnms.tex	Wed Feb 05 14:50:57 2020 +0000
+++ b/etnms/etnms.tex	Wed Feb 05 22:55:21 2020 +0000
@@ -1376,7 +1376,7 @@
 
 \noindent
 $\rup\backslash_{simp} \, s$ is equal to 
-$ _0(_0\ONE  + _{11}a^*)$
+$ _1(_{11}a^* +  _0\ONE)  $
 $\rup\backslash_{simp} \, s \neq \simp(\rup\backslash s)$,
  whereas this does not happen for the old
 version of $\simp$.