diff --git a/background.tex b/background.tex index a1c3888ae1b986576ed3311b7c21b23051c052e5..728e984ec1fe8b7397168ff33392e0858aecd146 100644 --- a/background.tex +++ b/background.tex @@ -66,7 +66,7 @@ \item[\(1 + A \times X\)] are lists, \item[\(A + X^2\)] are binary trees, \item[\(\prod_{\sigma \in \Sigma} X^{\ar{\sigma}}\)], - \emph{Term- or \(\Sigma\)-algebra}, over a set of operations \(\Sigma\) and an + \emph{Term-} or \emph{\(\Sigma\)-algebra}, over a set of operations \(\Sigma\) and an arity function \(\ar : \map{\Sigma}{\mathbb{N}}\). \end{description}