%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% file mycmds3.tex
% this is meant for LaTeX2e, and combines the old myheader2 & mycmds2
%
% it contains an actual minimum of commands I always use
% version 21 03 00


% with these commands one can change de look of the counters during
% \enumerate. *extremely useful*
\newcommand{\smallromani}{\renewcommand{\theenumi}{\roman{enumi}}
  \renewcommand{\labelenumi}{(\theenumi)}}
\newcommand{\smallromaniprime}{\renewcommand{\theenumi}{\roman{enumi}\mbox{$'$}}
  \renewcommand{\labelenumi}{(\theenumi)}}
\newcommand{\smallromanir}{\renewcommand{\theenumi}{\roman{enumi}}
  \renewcommand{\labelenumi}{\theenumi)}}
\newcommand{\smallromanii}{\renewcommand{\theenumii}{\roman{enumii}}
  \renewcommand{\labelenumii}{(\theenumii)}}
\newcommand{\parentarabici}{\renewcommand{\theenumi}{\arabic{enumi}}
  \renewcommand{\labelenumi}{(\theenumi)}}
\newcommand{\parentarabicii}{\renewcommand{\theenumii}{\arabic{enumii}}
  \renewcommand{\labelenumii}{(\theenumii)}}
\newcommand{\eqnum}{\renewcommand{\theequation}{\arabic{equation}}
  \renewcommand{\labelequation}{(\theequation)}}
\newcommand{\parentalphi}{\renewcommand{\theenumi}{\alph{enumi}}
  \renewcommand{\labelenumi}{(\theenumi)}}

%this is to write PROLOG programs
\newenvironment{program}{\tt \begin{tabbing}pro\= {\tt pro}\= clause \kill}{\end{tabbing}}

% environment program2: needed to have the caluse name as well.
\newenvironment{program2}{\tt \begin{tabbing}pro\= {\tt cl1:} \= {\tt pro}\= clause \kill}{\end{tabbing}}

\newcommand{\Proof}{\NI{\bf Proof.}\ }

%these should not be needed

%\newtheorem{theorem}{Theorem}[section]
%\newenvironment{definition}[theorem]{Definition}
%\newenvironment{example}[theorem]{Example}
%\newtheorem{proposition}[theorem]{Proposition}
%\newtheorem{conjecture}[theorem]{Conjecture}
%\newtheorem{lemma}[theorem]{Lemma}
%\newtheorem{corollary}[theorem]{Corollary}
%\newtheorem{remark}[theorem]{Remark}
%\newtheorem{note}[theorem]{Note}
%\newtheorem{fact}{Fact}
%\newtheorem{claim}{Claim}
%\newtheorem{exercise}[theorem]{Exercise}

%These are the arrows
\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\:}}

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

%Quantifiers
\newcommand{\fa}{\ensuremath{\forall}}
\newcommand{\te}{\ensuremath{\exists}}


%Domains and range
\newcommand{\Dom}{{\it Dom}}
\newcommand{\Var}{{\it Var}}
\newcommand{\Range}{{\it Range}}
\newcommand{\Ran}{{\it Ran}}

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





