From 7450495335c7ce9a7078209b63e4704b54b487c4 Mon Sep 17 00:00:00 2001
From: Daira Hopwood <daira@jacaranda.org>
Date: Sun, 5 Aug 2018 10:03:46 +0100
Subject: [PATCH] Cosmetics: fix a warning about Unicode in headings.

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

diff --git a/protocol/protocol.tex b/protocol/protocol.tex
index efb8ba5c..105fe95a 100644
--- a/protocol/protocol.tex
+++ b/protocol/protocol.tex
@@ -1272,6 +1272,7 @@ electronic commerce and payment, financial privacy, proof of work, zero knowledg
 \newcommand{\Entry}[1]{\mathsf{entry}_{#1}}
 
 \newcommand{\RedJubjub}{\mathsf{RedJubjub}}
+\newcommand{\RedDSAText}{\texorpdfstring{$\RedDSA$}{RedDSA}}
 \newcommand{\RedDSAAndRedJubjub}{\texorpdfstring{$\RedDSA$ and $\RedJubjub$}{RedDSA and RedJubjub}}
 \newcommand{\RedJubjubHashName}{\BlakeTwob{512}}
 
@@ -11335,7 +11336,7 @@ cryptanalytic attention to confidently use them for \Sapling.
 \notsprout{
 \section{Batching Optimizations} \label{batching}
 
-\subsection{$\RedDSA$ batch verification} \label{reddsabatchverify}
+\subsection{\RedDSAText{} batch verification} \label{reddsabatchverify}
 
 The reference verification algorithm for $\RedDSA$ signatures is defined in \crossref{concreteredjubjub}.