From db3ea270c57f33e6ed2fe249d146c8e5d9545776 Mon Sep 17 00:00:00 2001
From: Daira Hopwood <daira@jacaranda.org>
Date: Wed, 18 Jul 2018 05:20:46 +0100
Subject: [PATCH] The \difference macro was not used consistently; use
 \setminus instead.

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
---
 protocol/protocol.tex | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/protocol/protocol.tex b/protocol/protocol.tex
index 3c6361c5..e2d693d8 100644
--- a/protocol/protocol.tex
+++ b/protocol/protocol.tex
@@ -821,7 +821,7 @@ electronic commerce and payment, financial privacy, proof of work, zero knowledg
 \newcommand{\powerset}[1]{\raisebox{-0.28ex}{\scalebox{1.25}{$\mathscr{P}$}}\kern -0.2em\big(\strut{#1}\big)}
 \newcommand{\barerange}[2]{{{#1}\,..\,{#2}}}
 \newcommand{\range}[2]{\setof{\barerange{#1}{#2}}}
-\newcommand{\rangenozero}[2]{\range{#1}{#2} \difference \setof{0}}
+\newcommand{\rangenozero}[2]{\range{#1}{#2} \setminus \setof{0}}
 \newcommand{\binaryrange}[1]{\range{0}{2^{#1}\!-\!1}}
 \newcommand{\oneto}[1]{\mathrm{1}..{#1}}
 \newcommand{\alln}{\oneto{n}}
@@ -871,7 +871,6 @@ electronic commerce and payment, financial privacy, proof of work, zero knowledg
 \newcommand{\leftarrowR}{\mathop{\clasp[0.15em]{\raisebox{1.15ex}{\scriptsize R}}{$\,\leftarrow\,$}}}
 \newcommand{\union}{\cup}
 \newcommand{\intersection}{\cap}
-\newcommand{\difference}{\setminus}
 \newcommand{\suchthat}{\,\vert\;}
 \newcommand{\paramdot}{\bigcdot}
 \newcommand{\lincomb}[1]{\left(\strut\kern-.025em{#1}\kern-0.04em\right)}
@@ -1559,7 +1558,7 @@ electronic commerce and payment, financial privacy, proof of work, zero knowledg
 \newcommand{\GroupJ}{\mathbb{J}}
 \newcommand{\SubgroupJ}{\mathbb{J}_{\subgroupr}}
 \newcommand{\SubgroupReprJ}{\SubgroupJ^{\ReprNoKern}}
-\newcommand{\PrimeOrderJ}{\SubgroupJ \difference \ZeroJ}
+\newcommand{\PrimeOrderJ}{\SubgroupJ \setminus \ZeroJ}
 \newcommand{\CurveJ}{\Curve_{\GroupJ}}
 \newcommand{\ZeroJ}{\Zero_{\GroupJ}}
 \newcommand{\GenJ}{\Generator_{\GroupJ}}
@@ -1984,7 +1983,7 @@ $S \intersection T$ means the set intersection of $S$ and $T$,
 i.e.\ $\setof{x \typecolon S \suchthat x \in T}$.
 
 \notsprout{
-$S \difference T$ means the set difference obtained by removing elements
+$S \setminus T$ means the set difference obtained by removing elements
 in $T$ from $S$, i.e. $\setof{x \typecolon S \suchthat x \notin T}$.
 
 $\fun{x \typecolon T}{e_x \typecolon U}$ means the function of type $T \rightarrow U$