- some code patched

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

diff --git a/helm/mathql/doc/mathql_introduction_textual.tex b/helm/mathql/doc/mathql_introduction_textual.tex
index 8e5878bac08f3faefef2f051619a369fa69dcb20..2bcb2b4cd0a7592add7d94fccc0e5591ffa5331a 100644 (file)
--- a/helm/mathql/doc/mathql_introduction_textual.tex
+++ b/helm/mathql/doc/mathql_introduction_textual.tex
@@ -1,4 +1,4 @@
-\section{Textual syntax} \label{Textual}
+\subsection{Textual syntax} \label{Textual}
 
 In this section we present {\MathQL}.4 textual syntax using the same notation
 that we adopted in \cite{GS03,Gui03}. In particular the grammatical