-\documentclass[8pt,twocolumn]{extarticle}
+\documentclass[8pt,twocolumn,a4paper]{extarticle}
-\usepackage[bookmarks=false,ps2pdf]{hyperref}
+\usepackage[margin=2cm]{geometry}
+\usepackage[pdfborder={0 0 0},bookmarks=false,ps2pdf]{hyperref}
\usepackage[american]{babel}
\usepackage{matex}
\usepackage{legacy_1}
\newcounter{node}
\renewcommand*\ObjIncNode{\stepcounter{node}}
-\renewcommand*\ObjNode{\arabic{node} }
+\renewcommand*\ObjNode{\arabic{node}}
-\title{The Core Theory of the Formal System $\lambda\delta\hbox{-}1$}
+\title{The Core Theory of the Formal System $\lambda\delta\hbox{-}1$:
+Definitions and Statements}
\author{Ferruccio Guidi}