## Basic fixed points ##
-1. Recall that `ω := \f.ff`, and `Ω := ω ω`.
-Is Ω a fixed point for ω? Find a fixed point for ω,
+1. Recall that <code>ω := \f.ff</code>, and <code>Ω :=
+ω ω</code>. Is <code>Ω</code> a fixed point for
+<code>ω</code>? Find a fixed point for <code>ω</code>,
and prove that it is a fixed point.
## Arithmetic infinity? ##