Improve Section 3.7 according to review comments

IntersectMBO · May 6, 2024 · 1946810 · 1946810
1 parent 8451079
commit 1946810
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/docs/formal-spec/chain.tex b/docs/formal-spec/chain.tex
@@ -637,12 +637,11 @@ \subsection{$\mathsf{PRTCL}$ Transition}
 
 \clearpage
 
-\subsection{Tick Forecast Transition}
+\subsection{$\mathsf{TICKF}$ Transition}
 \label{sec:tickf-trans}
 
-The Tick Forecast Transition performs some chain level
-upkeep. The state is the
-epoch specific state necessary for the $\mathsf{NEWEPOCH}$ transition.
+The Tick Forecast Transition ($\mathsf{TICKF}$) performs some chain level
+upkeep. The state is the epoch specific state necessary for the $\mathsf{NEWEPOCH}$ transition.
 
 Part of the upkeep is updating the genesis key delegation mapping
 according to the future delegation mapping.