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}.