X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql%2Fdoc%2Fmathql_operational_core.tex;h=e096879bba42f55f705be95811949e3a056a271e;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=ed03917528c3890363feafa39197255bb6d7de2d;hpb=552dbd63f202c8876605b62621c3e727d71e3963;p=helm.git

diff --git a/helm/mathql/doc/mathql_operational_core.tex b/helm/mathql/doc/mathql_operational_core.tex
index ed0391752..e096879bb 100644
--- a/helm/mathql/doc/mathql_operational_core.tex
+++ b/helm/mathql/doc/mathql_operational_core.tex
@@ -188,8 +188,8 @@ When the \TT{main} clause is not present, we assume $ p_2 = \TT{/} $.
 
 Here $ \Property\ h $ gives the appropriate access relation according to
 the $ h $ flag (this is the primitive function that inspects the {\RDF}
-graph, see \subsecref{HighAccess}).
- 
+graph).
+
 $ \Src\ k\ P\ V $ is a helper function giving the source set
 according to the $ k $ flag. $ \Src $ is based on $ \Match $, the helper
 function handling {\POSIX} regular expressions.
@@ -497,7 +497,7 @@ where $ \Gen \oft \GP{path} \times (\Listof\ \GP{query}) \times K \to
 \GP{query} $ is the primitive function performing the low level invocation. 
 The core language does not include any external function of this kind and it
 is a mistake to invoke an undefined function.
-The construction ``\TT{gen} p \TT{in} x'' rewrites to ``\TT{gen} p \{x\}''.
+The construction ``\TT{gen} p \TT{in} x'' rewrites to ``\TT{gen} p \verb+{+x\verb+}+''.
 
 \end{itemize}