From 6a314b869a3c1a52d201e050d82822a7557e9192 Mon Sep 17 00:00:00 2001
From: Philip Kaludercic <philip.kaludercic@fau.de>
Date: Wed, 10 Apr 2024 16:07:07 +0200
Subject: [PATCH] Don't emphasise "or" in Sigma-Algebra definition
---
background.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/background.tex b/background.tex
index a1c3888..728e984 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}
--
GitLab