diff options
Diffstat (limited to 'rulescat.tex')
| -rw-r--r-- | rulescat.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rulescat.tex b/rulescat.tex index 95269e1..48dcddf 100644 --- a/rulescat.tex +++ b/rulescat.tex @@ -25,7 +25,7 @@ $$ \using{\rcatns} \qquad \text{met\enspace - \parbox{36mm}{$\pop{\stk} = (s_2,\stk') $,\\$ \pop{\stk' = (s_1,\stk'')}$.} + \parbox{36mm}{$\pop{\stk} = (s_2,\stk') $,\\$ \pop{\stk'} = (s_1,\stk'')$.}} \end{prooftree} $$ |