diff --git a/protocol/protocol.tex b/protocol/protocol.tex
index aa320d93..986ebb36 100644
--- a/protocol/protocol.tex
+++ b/protocol/protocol.tex
@@ -505,8 +505,8 @@
 \setbox2=\hbox{\vrule height\ht0 depth -\dimen0}%
 {\box0\lower0.4pt\box2}}
 
-\newcommand{\possqrt}[1]{{}^+\hspace{-0.7em}\hksqrt{#1\vphantom{b}}}
-\newcommand{\optsqrt}[1]{{}^?\hspace{-0.7em}\hksqrt{#1\vphantom{b}}}
+\newcommand{\possqrt}[1]{\,{}^+\hspace{-0.7em}\hksqrt{#1\vphantom{b}}}
+\newcommand{\optsqrt}[1]{\,{}^?\hspace{-0.7em}\hksqrt{#1\vphantom{b}}}
 
 \newcommand{\sbitbox}[2]{\bitbox{#1}{\strut #2}}
 
@@ -9473,6 +9473,8 @@ curve's prime-order subgroup).
 
 Let $\EdDSABase$ be the base point given in \cite{BDLSY2012}.
 
+Define the notation $\optsqrt{\,\paramdot\,}$ as in \crossref{notation}.
+
 Define $\ItoLEOSP{}$, $\LEOStoBSP{}$, and $\LEBStoIP{}$ as in \crossref{endian}.
 
 Define $\reprBytesEdSpecific \typecolon \GroupEdSpecific \rightarrow \ReprEdSpecificBytes$ such
@@ -10525,6 +10527,8 @@ $\GroupJ$ has order $\ParamJ{h} \smult \ParamJ{r}$.
 
 Let $\ellJ := 256$.
 
+Define the notation $\optsqrt{\,\paramdot\,}$ as in \crossref{notation}.
+
 \introlist
 Define $\ItoLEBSP{} \typecolon (\ell \typecolon \Nat) \times \binaryrange{\ell} \rightarrow \bitseq{\ell}$
 as in \crossref{endian}, and similarly for
@@ -10764,6 +10768,8 @@ For the set of points on \Vesta of order $\ParamV{r}$ (which excludes $\ZeroV$),
 
 Let $\ellP = \ellV := 256$.
 
+Define the notation $\optsqrt{\,\paramdot\,}$ as in \crossref{notation}.
+
 \introlist
 Define $\ItoLEBSP{} \typecolon (\ell \typecolon \Nat) \times \binaryrange{\ell} \rightarrow \bitseq{\ell}$
 as in \crossref{endian}, and similarly for
@@ -10950,6 +10956,8 @@ Let $\IsoMapG \typecolon \GroupIsoG \rightarrow \GroupG{}$ be the isogeny map gi
 \vspace{2ex}
 Let $\BlakeTwob{512} \typecolon \byteseq{16} \times \byteseqs \rightarrow \byteseq{\ell/8}$ be as defined in \crossref{concreteblake2}.
 
+Define the notation $\optsqrt{\,\paramdot\,}$ as in \crossref{notation}.
+
 \vspace{-0.25ex}
 Let $\BEOStoIP{}$ be as defined in \crossref{endian}.
 
@@ -14374,7 +14382,8 @@ Peter Newell's illustration of the Jubjub bird, from \cite{Carroll1902}.
     \item Refine the key components diagram in \crossref{addressesandkeys} to show that \Orchard
           \incomingViewingKeys include both $\DiversifierKey$ and $\InViewingKey$.
 } % nufive
-    \item No changes before \NUFive.
+    \item Give cross-references to \crossref{notation} where $\optsqrt{\,\paramdot\,}$ and
+          $\possqrt{\,\paramdot\,}$ are used.
 \end{itemize}
 
 
@@ -16587,6 +16596,8 @@ curve arithmetic.
 \lsubsubsubsection{ctEdwards \lrarrow\ Montgomery conversion}{cctconversion}
 
 \vspace{-1ex}
+Define the notation $\possqrt{\,\paramdot\,}$ as in \crossref{notation}.
+
 Define $\CtEdwardsToMont \typecolon \AffineCtEdwardsJubjub \rightarrow \AffineMontJubjub$
 as follows: