formalism: Clarify clause for mark erasure of patterned let

hazelgrove · Jul 11, 2023 · 515a513 · 515a513
1 parent d8e67c2
commit 515a513
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/formalism/patterned.tex b/formalism/patterned.tex
@@ -429,7 +429,7 @@ \subsection{Mark erasure}
 %
 \[\begin{array}{rcl}
   & \vdots & \\
-  \erasesToRow{(\ECLet{\PCMV}{\ECMV_1}{\ECMV_2})}{\ELet{\erase{\PCMV}}{\erase{\ECMV_1}}{\erase{\ECMV_2}}}
+  \erasesToRow{(\ECLet{\PCMV}{\ECMV_1}{\ECMV_2})}{\ELet{(\erase{\PCMV})}{(\erase{\ECMV_1})}{(\erase{\ECMV_2})}}
 \end{array}\]
 
 \subsection{Metatheorems}