From 3fdc80db7cd2d9d7782fb3e72bd79e7b7f059c68 Mon Sep 17 00:00:00 2001
From: Eric Zhao <21zhaoe@protonmail.com>
Date: Tue, 10 Oct 2023 03:03:10 -0400
Subject: [PATCH] formalism: Break well-formedness rules across two pages

---
 formalism/typed.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/formalism/typed.tex b/formalism/typed.tex
index f430594..bf59932 100644
--- 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}