1.1 --- a/doc-src/TutorialI/Documents/Documents.thy	Tue Jan 08 17:43:21 2002 +0100
     1.2 +++ b/doc-src/TutorialI/Documents/Documents.thy	Tue Jan 08 17:51:56 2002 +0100
     1.3 @@ -252,8 +252,9 @@
     1.4    \cite{isabelle-ref}.
     1.5  
     1.6    \medskip A typical example of syntax translations is to decorate
     1.7 -  relational expressions with nice symbolic notation, such as @{text
     1.8 -  "(x, y) \<in> sim"} versus @{text "x \<approx> y"}.
     1.9 +  relational expressions (i.e.\ set-membership of tuples) with
    1.10 +  handsome symbolic notation, such as @{text "(x, y) \<in> sim"} versus
    1.11 +  @{text "x \<approx> y"}.
    1.12  *}
    1.13  
    1.14  consts

     2.1 --- a/doc-src/TutorialI/Documents/document/Documents.tex	Tue Jan 08 17:43:21 2002 +0100
     2.2 +++ b/doc-src/TutorialI/Documents/document/Documents.tex	Tue Jan 08 17:51:56 2002 +0100
     2.3 @@ -249,7 +249,9 @@
     2.4    \cite{isabelle-ref}.
     2.5  
     2.6    \medskip A typical example of syntax translations is to decorate
     2.7 -  relational expressions with nice symbolic notation, such as \isa{{\isacharparenleft}x{\isacharcomma}\ y{\isacharparenright}\ {\isasymin}\ sim} versus \isa{x\ {\isasymapprox}\ y}.%
     2.8 +  relational expressions (i.e.\ set-membership of tuples) with
     2.9 +  handsome symbolic notation, such as \isa{{\isacharparenleft}x{\isacharcomma}\ y{\isacharparenright}\ {\isasymin}\ sim} versus
    2.10 +  \isa{x\ {\isasymapprox}\ y}.%
    2.11  \end{isamarkuptext}%
    2.12  \isamarkuptrue%
    2.13  \isacommand{consts}\isanewline