week2 tweaks

[lambda.git] / week2.mdwn

diff --git a/week2.mdwn b/week2.mdwn
index ebc5959..95b1bb9 100644 (file)
--- a/week2.mdwn
+++ b/week2.mdwn
@@ -35,9 +35,10 @@ Another way to think of it is to identify expressions not with particular alphab
 
 A third way to think is to identify the lambda formula not with classes of alphabetic sequences, but rather with abstract structures that we might draw like this:
 
 
 A third way to think is to identify the lambda formula not with classes of alphabetic sequences, but rather with abstract structures that we might draw like this:
 

-<pre><code>&lambda; ... `___` ...
+<pre><code>&lambda;
+       ... ___ ...

 ^      |
 ^      |

-|`______`|
+|______|

 </code></pre>
 
 Here there are no bound variables, but there are *bound positions*. We can regard formula like (a) and (b) as just helpfully readable ways to designate these abstract structures.
 </code></pre>
 
 Here there are no bound variables, but there are *bound positions*. We can regard formula like (a) and (b) as just helpfully readable ways to designate these abstract structures.