formalism: Break well-formedness rules across two pages

hazelgrove · Oct 10, 2023 · 419d0f7 · 419d0f7
1 parent 6b18d33
commit 419d0f7
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/formalism/typed.tex b/formalism/typed.tex
@@ -39,7 +39,7 @@ \subsubsection{Well-formedness}
 \label{sec:typed-well-formedness}
 \judgbox{\ensuremath{\zWellFormed{\ZCMV}}} $\ZCMV$ is well-formed
 %
-\begin{mathpar}
+\begin{mathparpagebreakable}
   \inferrule[WFCursor]{ }{
     \zWellFormed{\ZCCursor{\ECMV}}
   }
@@ -288,7 +288,7 @@ \subsubsection{Well-formedness}
   }{
     \zWellFormed{\ZProjRSynNonMatchedProd{\ZMV}}
   }
-\end{mathpar}
+\end{mathparpagebreakable}
 
 \subsection{Cursor erasure}
 \label{sec:typed-cursor-erasure}