X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=exercises%2F_assignment4.mdwn;h=6c92b54a30e3533fe62699b22c145e1ee35abd41;hp=bb67eb4080156ef666e18ee2a97dc7724a5d3453;hb=cf671647ec7ff5ce298bca53cbacedb126416549;hpb=4b58f050598948e1345d1a5734257c656adb9002

diff --git a/exercises/_assignment4.mdwn b/exercises/_assignment4.mdwn
index bb67eb40..6c92b54a 100644
--- a/exercises/_assignment4.mdwn
+++ b/exercises/_assignment4.mdwn
@@ -2,8 +2,9 @@
 
 ## Basic fixed points ##
 
-1. Recall that `ω := \f.ff`, and `Ω := ω ω`.
-Is Ω a fixed point for ω?  Find a fixed point for ω,
+1. Recall that <code>&omega; := \f.ff</code>, and <code>&Omega; :=
+&omega; &omega;</code>.  Is <code>&Omega;</code> a fixed point for
+<code>&omega;</code>?  Find a fixed point for <code>&omega;</code>,
 and prove that it is a fixed point.
 
 ## Arithmetic infinity? ##