diff --git a/formalism/untyped.tex b/formalism/untyped.tex
index ae4e454..6ab16b0 100644
--- a/formalism/untyped.tex
+++ b/formalism/untyped.tex
@@ -36,7 +36,7 @@ \subsection{Cursor erasure}
 
 \subsubsection{Type cursor erasure}
 \label{sec:untyped-type-cursor-erasure}
-\judgbox{\ensuremath{\cursorErase{\ZTMV}}} is a metafunction defined as follows:
+\judgbox{\ensuremath{\cursorErase{\ZTMV}}} is a metafunction $\ZTMName \to \TMName$ defined as follows:
 %
 \newcommand{\cursorErasesToRow}[2]{\ensuremath{\cursorErase{#1} & = & #2}}
 \[\begin{array}{rcl}
@@ -49,7 +49,7 @@ \subsubsection{Type cursor erasure}
 
 \subsubsection{Expression cursor erasure}
 \label{sec:untyped-expression-cursor-erasure}
-\judgbox{\ensuremath{\cursorErase{\ZMV}}} is a metafunction defined as follows:
+\judgbox{\ensuremath{\cursorErase{\ZMV}}} is a metafunction $\ZMName \to \EMName$ defined as follows:
 %
 \[\begin{array}{rcl}
   \cursorErasesToRow{\ZCursor{\EMV}}{\EMV} \\