Skip to content
Snippets Groups Projects
Commit 6a314b86 authored by Philip Kaluđerčić's avatar Philip Kaluđerčić :u7121:
Browse files

Don't emphasise "or" in Sigma-Algebra definition

parent 888e33f5
No related branches found
No related tags found
No related merge requests found
......@@ -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}
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment