From 8bc9244a47c8b439efd517054db248136978567a Mon Sep 17 00:00:00 2001
From: Daira Hopwood <daira@jacaranda.org>
Date: Mon, 6 Jun 2022 20:17:12 +0100
Subject: [PATCH] Correction in \crossref{constants}: Uncommitted^Orchard is
 not a bit sequence.

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

diff --git a/protocol/protocol.tex b/protocol/protocol.tex
index d2ef388f..24229786 100644
--- a/protocol/protocol.tex
+++ b/protocol/protocol.tex
@@ -2943,10 +2943,10 @@ The following integer constants will be instantiated in \crossref{constants}:
   \end{flushleft}
 \end{formulae}
 
-The rational constants $\FoundersFraction$, $\PoWMaxAdjustDown$, and $\PoWMaxAdjustUp$, and
-the bit sequence constants $\Uncommitted{Sprout} \typecolon \bitseq{\MerkleHashLength{Sprout}}$,
-\sapling{$\Uncommitted{Sapling} \typecolon \bitseq{\MerkleHashLength{Sapling}}$,}
-\nufive{and $\Uncommitted{Orchard} \typecolon$ $\MerkleHashOrchard$,} will also be defined in that section.
+The rational constants $\FoundersFraction$, $\PoWMaxAdjustDown$, and $\PoWMaxAdjustUp$;\notnufive{ and}
+the bit sequence constants $\Uncommitted{Sprout} \typecolon \bitseq{\smash{\MerkleHashLength{Sprout}}}$\sapling{ and
+$\Uncommitted{Sapling} \typecolon \bitseq{\smash{\MerkleHashLength{Sapling}}}$}\nufive{; and the constant
+$\Uncommitted{Orchard} \typecolon \MerkleHashOrchard$} will also be defined in that section.
 
 We use the abbreviation ``\defining{\xCtEdwards}'' to refer to \completeTwistedEdwardsEllipticCurves and
 coordinates (see \crossref{jubjub}).
@@ -14646,6 +14646,8 @@ Peter Newell's illustration of the Jubjub bird, from \cite{Carroll1902}.
           field to match the \consensusBranchID used for \sighashTxHashes, should
           apply only when $\effectiveVersion \geq 5$ (since v4 \transactions did
           not explicitly encode the \nConsensusBranchId{} field).
+    \item Correction in \crossref{constants}:
+          $\Uncommitted{Orchard} \typecolon \MerkleHashOrchard$ is not a bit sequence.
 }
     \item Make \crossref{overview} more precise about \chainValuePools.
 \end{itemize}