From a80db8d9ba32177dcd4339ab285be48ffc078349 Mon Sep 17 00:00:00 2001
From: Eric Zhao <21zhaoe@protonmail.com>
Date: Mon, 9 Oct 2023 00:24:16 -0400
Subject: [PATCH] formalism: Name marked zexps MZExp

---
 formalism/symbols/typed.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/formalism/symbols/typed.tex b/formalism/symbols/typed.tex
index 8934d3e..4893be8 100644
--- a/formalism/symbols/typed.tex
+++ b/formalism/symbols/typed.tex
@@ -3,7 +3,7 @@
 %
 % marked zippered expressions
 %
-\newcommand{\ZCMName}{{\normalfont\textsf{MZExp}}}
+\newcommand{\ZCMName}{{\normalfont\textsf{ZMExp}}}
 \newcommand{\ZCMSet}{\ensuremath{\hat{E}}}
 \newcommand{\ZCMV}{\ensuremath{\underline{\check{e}}}}