From 8fdf150975cb34089a8fc1c0e7cdd08a458d198a Mon Sep 17 00:00:00 2001
From: Ralf Jung
Date: Sat, 15 Oct 2016 16:10:45 +0200
Subject: [PATCH] docs: fix auth intro
---
docs/constructions.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/docs/constructions.tex b/docs/constructions.tex
index 30d4807c5..e7607889b 100644
--- a/docs/constructions.tex
+++ b/docs/constructions.tex
@@ -256,7 +256,7 @@ We obtain the following frame-preserving update:
\subsection{Authoritative}
\label{sec:auth-cmra}
-Given a CMRA $M$, we construct a monoid $\authm(M)$ modeling someone owning an \emph{authoritative} element $x$ of $M$, and others potentially owning fragments $\melt \le_M x$ of $x$.
+Given a CMRA $M$, we construct $\authm(M)$ modeling someone owning an \emph{authoritative} element $\melt$ of $M$, and others potentially owning fragments $\meltB \mincl \melt$ of $\melt$.
We assume that $M$ has a unit $\munit$, and hence its core is total.
(If $M$ is an exclusive monoid, the construction is very similar to a half-ownership monoid with two asymmetric halves.)
\begin{align*}
--
GitLab