From 4cb0d91d964ae67cda9a57fbd2b9dd21b5bacda7 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Sun, 10 Dec 2017 12:19:14 +0100
Subject: [PATCH] fix a LeTeX warning
---
docs/constructions.tex | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/docs/constructions.tex b/docs/constructions.tex
index 890972fc3..0a205d845 100644
--- a/docs/constructions.tex
+++ b/docs/constructions.tex
@@ -34,7 +34,9 @@ $\UPred(-)$ is a locally non-expansive functor from $\CMRAs$ to $\COFEs$.
It is worth noting that the above quotient admits canonical
representatives. More precisely, one can show that every
equivalence class contains exactly one element $P_0$ such that:
-\[ \All n, \melt. (\mval(\melt) \nincl{n} P_0(\melt)) \Ra n \in P_0(\melt) \tagH{UPred-canonical} \]
+\begin{align*}
+ \All n, \melt. (\mval(\melt) \nincl{n} P_0(\melt)) \Ra n \in P_0(\melt) \tagH{UPred-canonical}
+\end{align*}
Intuitively, this says that $P_0$ trivially holds whenever the resource is invalid.
Starting from any element $P$, one can find this canonical
representative by choosing $P_0(\melt) := \setComp{n}{n \in \mval(\melt) \Ra n \in P(\melt)}$.
--
GitLab