+++ /dev/null
-\documentclass[a4paper,draft]{article}
-
-\usepackage{manfnt}
-\usepackage{a4wide}
-\usepackage{pifont}
-\usepackage{semantic}
-\usepackage{stmaryrd,latexsym}
-
-\newcommand{\BLOB}{\raisebox{0ex}{\small\manstar}}
-
-\newcommand{\MATITA}{\ding{46}\textsf{\textbf{Matita}}}
-
-\title{Extensible notation for \MATITA}
-\author{Luca Padovani \qquad Stefano Zacchiroli \\
-\small Department of Computer Science, University of Bologna \\
-\small Mura Anteo Zamboni, 7 -- 40127 Bologna, ITALY \\
-\small \{\texttt{lpadovan}, \texttt{zacchiro}\}\texttt{@cs.unibo.it}}
-
-\newcommand{\BREAK}{\mathtt{break}}
-\newcommand{\TVAR}[1]{#1:\mathtt{term}}
-\newcommand{\IMPVAR}{\TVAR{\_}}
-\newcommand{\NVAR}[1]{#1:\mathtt{number}}
-\newcommand{\IVAR}[1]{#1:\mathtt{name}}
-\newcommand{\FENCED}[1]{\texttt{\char'050}#1\texttt{\char'051}}
-\newcommand{\ITO}[2]{|[#1|]_{\mathcal#2}^1}
-\newcommand{\IOT}[2]{|[#1|]_{#2}^2}
-\newcommand{\IAP}[2]{|[#1|]_{#2}^a}
-\newcommand{\IAPP}[3]{|[#1|]_{#2,#3}^a}
-\newcommand{\ADDPARENS}[2]{\llparenthesis#1\rrparenthesis^{#2}}
-\newcommand{\NAMES}{\mathit{names}}
-\newcommand{\DOMAIN}{\mathit{domain}}
-\newcommand{\UPDATE}[2]{#1[#2]}
-
-\mathlig{~>}{\leadsto}
-\mathlig{|->}{\mapsto}
-
-\begin{document}
- \maketitle
-
- \input{body}
-
-\end{document}
-