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

diff --git a/helm/mathql/doc/mathql_introduction_textual.tex b/helm/mathql/doc/mathql_introduction_textual.tex
index 8e5878bac..2bcb2b4cd 100644
--- 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