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