week2 tweaks

[lambda.git] / week3.mdwn

diff --git a/week3.mdwn b/week3.mdwn
index 3fa20f6..a1e79f5 100644 (file)
--- a/week3.mdwn
+++ b/week3.mdwn
@@ -340,7 +340,7 @@ Two of the simplest:
 <pre><code>&Theta;&prime; &equiv; (\u f. f (\n. u u f n)) (\u f. f (\n. u u f n))
 Y&prime; &equiv; \f. (\u. f (\n. u u n)) (\u. f (\n. u u n))</code></pre>
 
-&Theta;&prime; has the advantage that <code>f (&Theta;&prime; f)</code> really *reduces to* <code>&Theta;&prime; f</code>.
+<code>&Theta;&prime;</code> has the advantage that <code>f (&Theta;&prime; f)</code> really *reduces to* <code>&Theta;&prime; f</code>.
 
 <code>f (Y&prime; f)</code> is only convertible with <code>Y&prime; f</code>; that is, there's a common formula they both reduce to. For most purposes, though, either will do.