diff -r f85386e8acdf -r 90568836340a doc-src/TutorialI/Documents/Documents.thy
--- a/doc-src/TutorialI/Documents/Documents.thy	Tue Jan 08 17:43:21 2002 +0100
+++ b/doc-src/TutorialI/Documents/Documents.thy	Tue Jan 08 17:51:56 2002 +0100
@@ -252,8 +252,9 @@
   \cite{isabelle-ref}.
 
   \medskip A typical example of syntax translations is to decorate
-  relational expressions with nice symbolic notation, such as @{text
-  "(x, y) \<in> sim"} versus @{text "x \<approx> y"}.
+  relational expressions (i.e.\ set-membership of tuples) with
+  handsome symbolic notation, such as @{text "(x, y) \<in> sim"} versus
+  @{text "x \<approx> y"}.
 *}
 
 consts