initial support for LaTeX-defined notatopn

[helm.git] / matita / components / binaries / matex / test / test.tex

diff --git a/matita/components/binaries/matex/test/test.tex b/matita/components/binaries/matex/test/test.tex
index fe150474c72d6e543cae32db4f2514ad801dae2a..26adf2224ff385a5201954da57a06f817553ddb1 100644 (file)
--- a/matita/components/binaries/matex/test/test.tex
+++ b/matita/components/binaries/matex/test/test.tex
@@ -3,13 +3,22 @@
 \usepackage[bookmarks=false,ps2pdf]{hyperref}
 \usepackage[american]{babel}
 \usepackage{matex}
+\usepackage{legacy_1}
+\usepackage{ground_1}
+\usepackage{basic_1}
 
 \newcounter{node}
 \renewcommand*\ObjIncNode{\stepcounter{node}}
 \renewcommand*\ObjNode{\arabic{node} }
 
+\title{The Core Theory of the Formal System $\lambda\delta\hbox{-}1$}
+
+\author{Ferruccio Guidi}
+
 \begin{document}
 
+\maketitle
+
 \input{objs}
 
 \end{document}