From 18f286bb38715e5aa318864d0328fefb467307ae Mon Sep 17 00:00:00 2001 From: Mark Lemay Date: Mon, 8 Feb 2016 20:48:04 -0500 Subject: [PATCH] fixed a new line split --- frap.tex | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/frap.tex b/frap.tex index 70f4d39..daa840d 100644 --- a/frap.tex +++ b/frap.tex @@ -517,8 +517,7 @@ It's important to remember that plus \emph{inside} the brackets is syntax, while \newcommand{\subst}[3]{[#3/#2]#1} To test our semantics, we define a \emph{variable substitution} function\index{substitution}. -A substitution $\subst{e}{x}{e'}$ stands for the result of running through the syntax of $e$, repla -cing every occurrence of variable $x$ with expression $e'$. +A substitution $\subst{e}{x}{e'}$ stands for the result of running through the syntax of $e$, replacing every occurrence of variable $x$ with expression $e'$. \begin{eqnarray*} \subst{n}{x}{e} &=& n \\