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}}}}