- some code patched

[helm.git] / helm / mathql / doc / mathql_operational_core.tex

diff --git a/helm/mathql/doc/mathql_operational_core.tex b/helm/mathql/doc/mathql_operational_core.tex
index ed03917528c3890363feafa39197255bb6d7de2d..e096879bba42f55f705be95811949e3a056a271e 100644 (file)
--- 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}