===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/Doc/ex.tex,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -p -r1.2 -r1.3
--- OpenXM/src/kan96xx/Doc/ex.tex	2000/01/16 07:58:58	1.2
+++ OpenXM/src/kan96xx/Doc/ex.tex	2004/09/10 13:20:22	1.3
@@ -1,5 +1,5 @@
-% $OpenXM$
-\documentstyle{article}
+% $OpenXM: OpenXM/src/kan96xx/Doc/ex.tex,v 1.2 2000/01/16 07:58:58 takayama Exp $
+\documentclass{article}
 \title{\bf kan/examples}
 \author{Nobuki Takayama}
 \date{January 7,1995 : Revised, August 15, 1996; \\ Revised December 17, 1998.}
@@ -505,11 +505,11 @@ As we have seen before,
 a given string is parsed as a polynomial in the current ring by the operator
 ``{\tt .}''.
 To parse in a given ring,
-the operator ``{\tt ,,}'' is used.
+the operator ``{\tt \_\_}'' is used.
 That is,
 \begin{verbatim}
    [(x,y)  ring_of_differential_operators 0] define_ring /R set
-   (x^2-y) R  ,,  /f  set
+   (x^2-y) R  __  /f  set
 \end{verbatim}
 means to parse the string \verb! x^2-y ! in the ring {\tt R}
 and put the polynomial $x^2-y$ in the variable {\tt f}.