formalism: Name marked zexps MZExp

hazelgrove · Oct 9, 2023 · a80db8d · a80db8d
1 parent aa1f188
commit a80db8d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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}}}}