X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=topics%2F_week4_fixed_point_combinator.mdwn;fp=topics%2F_week4_fixed_point_combinator.mdwn;h=eca5fc999827f3111786c2576370c8bd31d47a52;hp=01185c40fcf53c5354557694aceba5734a859de1;hb=82981fcd3e99f6f2927c2a958340800fbd842d9c;hpb=c755fb35412150c91b5dc7ec2efdc2a28aa6cac3

diff --git a/topics/_week4_fixed_point_combinator.mdwn b/topics/_week4_fixed_point_combinator.mdwn
index 01185c40..eca5fc99 100644
--- a/topics/_week4_fixed_point_combinator.mdwn
+++ b/topics/_week4_fixed_point_combinator.mdwn
@@ -475,8 +475,8 @@ to our other arithmetic operators.
                ~~> \fz.f(f((\fz.f((\hfz.f(hhfz)) (\hfz.f(hhfz))))fz))
                ~~> \fz.f(f(f((\hfz.f(hhfz)) (\hfz.f(hhfz)))))
 
-So 2 + (HH) <~~> (HH).  This is what we expect from arithmetic infinity.
-You can check to see if 2 * (HH) <~~> (HH).
+So `2 + (HH) <~~> (HH)`.  This is what we expect from arithmetic infinity.
+You can check to see if `2 * (HH) <~~> (HH)`.
 
 So our fixed point recipe has delivere a reasonable candidate for
 arithmetic infinity.