R7 fixed

objectionary · Jul 20, 2021 · cf84b75 · cf84b75
1 parent f2001a5
commit cf84b75
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/paper/semantics.tex b/paper/semantics.tex
@@ -412,7 +412,7 @@ \subsection{Transformation Rules}
 attaching lambda expressions to vertices:
 \begin{equation*}
 \dfrac
-  {v | \mapsto \lambda s . M}
+  {v | \lambda s . M}
   {\ff{ATOM}(v, M)}
   \jrule{lambda}
 \end{equation*}