
diff -r 17403c5a9eb1 -r 0ef5ecc1fd4d doc-src/TutorialI/Overview/FP1.thy
--- a/doc-src/TutorialI/Overview/FP1.thy	Fri Mar 30 18:12:26 2001 +0200
+++ b/doc-src/TutorialI/Overview/FP1.thy	Fri Mar 30 18:18:22 2001 +0200
@@ -293,7 +293,7 @@
 
 text{*
 \begin{exercise}
-Define a datatype of ordinals and the ordinal Gamma0.
+Define a datatype of ordinals and the ordinal $\Gamma_0$.
 \end{exercise}
 *}
 




