%questo e' il file mycmds.tex

\newcommand{\startclauses}{ \vspace{3mm} \\ \begin{math}
\begin{array}{llllll}}
\newcommand{\stopclauses}{\end{array} \end{math}
\vspace{3mm} \\}

\newcommand{\undefined}{{\em undefined}}
\newcommand{\true}{{\em true}}
\newcommand{\false}{{\em false}}
\newcommand{\follows}{{\em follows}}
\newcommand{\equivalent}{{\em equivalent}}
\newcommand{\delay}{{\em delay}}
\newcommand{\mthree}{\mbox{$\:\models_{\it HU}\:$}}

\newcommand{\IFF}{\mbox{\hspace{0.3cm}iff\hspace{0.3cm}}}
\newcommand{\COMP}[1]{\mbox{{\em Comp}$({#1})$}}
\newcommand{\KU}[1]{\mbox{{\em Kun}$({#1})$}}
\newcommand{\FIT}[1]{\mbox{{\em Fit}$({#1})$}}
\newcommand{\PHI}[2]{\mbox{$\Phi_{#1}^{#2}$}}
        % operatore di Fitting
\newcommand{\TEXC}[1]{\mbox{$ \exists X C $}}
\newcommand{\TEXQ}{\mbox{$ \exists X Q $}}
\newcommand{\TEYD}[1]{\mbox{$ \exists Y D $}}

\newcommand{\FAIL}{{\bf fail}}
\newcommand{\ES}{\mbox{$\emptyset$}}    % remember this one

\newcommand{\Ra}{\ensuremath{\:\Rightarrow\:}}
\newcommand{\La}{\ensuremath{\:\Leftarrow\:}}
\newcommand{\Lra}{\ensuremath{\:\Leftrightarrow\:}}
\newcommand{\notRa}{\ensuremath{\:\not\Rightarrow\:}}
\newcommand{\la}{\ensuremath{\:\leftarrow\:}}
\newcommand{\ra}{\ensuremath{\:\rightarrow\:}}
\newcommand{\tra}{\ensuremath{\:\rightarrow^*\:}}
\newcommand{\lra}{\ensuremath{\:\leftrightarrow\:}}

\newcommand{\Or}{\ensuremath{\ \vee\ }}
\newcommand{\And}{\ensuremath{\ \wedge\ }}
\newcommand{\A}{\ensuremath{\ \wedge\ }}
\newcommand{\U}{\ensuremath{\:\cup\:}}
\newcommand{\I}{\ensuremath{\:\cap\:}}
\newcommand{\sse}{\ensuremath{\:\subseteq\:}}

\newcommand{\fa}{\ensuremath{\forall}}
\newcommand{\te}{\ensuremath{\exists}}
\newcommand{\fai}{\ensuremath{\stackrel{\infty}{\forall}}}
\newcommand{\tei}{\ensuremath{\stackrel{\infty}{\exists}}}

\newcommand{\LLn}{\ensuremath{1,\ldots,n}}
\newcommand{\LL}{\ensuremath{\ldots}}

\newcommand{\NI}{\noindent}
%\newcommand{\HB}{\hfill{$\Box$}}
\newcommand{\HB}{\hfill{$\square$}}
\newcommand{\VV}{\vspace{5 mm}}  
\newcommand{\II}{\vspace{2 mm}}

\newcommand{\X}[1]{\mbox{$\:\stackrel{{#1}}{\rightarrow}\:$}}
\newcommand{\lX}[1]{\mbox{$\:\stackrel{{#1}}
                                                {\longrightarrow}\:$}}

%simboli usati in formule si usa \S+lettera/e che serve

%NUOVI
\newcommand{\lfp}{\mbox{\it lfp}}

\newcommand{\eqdef}{\stackrel {\rm def}{=}}

\newcommand{\ol}[1]{\ensuremath{\tilde{#1}}}

\newcommand{\NL}{\mbox{}\\}

\newcommand{\VAR}{\mbox{\it Var}}
\newcommand{\FV}{\mbox{\it FV}}

\newcommand{\var}{{\it Var}}
\newcommand{\dom}{{\it Dom}}
\newcommand{\Var}{{\it Var}}
\newcommand{\Dom}{{\it Dom}}
\newcommand{\Range}{{\it Range}}
\newcommand{\range}{{\it Ran}}
\newcommand{\vect}[1]{{\bf #1}}
