From 87e74b01f5f695a0bde4708e954c0303498974b0 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Mon, 29 Feb 2016 13:28:56 +0100
Subject: [PATCH] wording

---
 docs/algebra.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/algebra.tex b/docs/algebra.tex
index 13822e76d..f9ee23ccd 100644
--- a/docs/algebra.tex
+++ b/docs/algebra.tex
@@ -36,7 +36,7 @@
 
 \ralf{Copy the rest of the explanation from the paper, when that one is more polished.}
 
-\paragraph{The division operation $\mdiv$.}
+\paragraph{The division operator $\mdiv$.}
 One way to describe $\mdiv$ is to say that it extracts the witness from the extension order: If $\melt \leq \meltB$, then $\melt \mdiv \meltB$ computes the difference between the two elements (\ruleref{cmra-div-op}).
 Otherwise, $\mdiv$ can have arbitrary behavior.
 This means that, in classical logic, the division operator can be defined for any PCM using the axiom of choice, and it will trivially satisfy \ruleref{cmra-div-op}.
-- 
GitLab