%
%  Macros for Pierre Lescanne's papers
%

\newtheorem{definition}{Definition} 
\newtheorem{theorem}{Theorem}
\newtheorem{corollary}{Corollary}
\newtheorem{prop}{Proposition}
\newtheorem{lemma}{Lemma}

\newenvironment{proof}[1]{\begin{quotation}\noindent{\bf Proof:} #1}%
{\(\Box\)\end{quotation}}

% O. Nicole -- 12 juin 1990, de jolis guillemets
% B. Gaulle -- 29 aout 1990
% Don't type any blank after " \<< "
\def\<<{\ouvreguillemet\everypar={\ouvreguillemet\ }}
\def\ouvreguillemet{\leavevmode\hbox{%
    \ly(\kern-0.20em(\kern+0.20em}\nobreak}
\def\>>{\fermeguillemet\everypar={}}
\def\fermeguillemet{\nobreak\leavevmode\hbox{%
    \kern+0.20em\ly)\kern-0.20em)}}

\newcommand{\hligne}{\rule{\textwidth}{0.5pt}}

\newcommand{\dproof}{\begin{quotation}{\bf Proof:\ }}
\newcommand{\fproof}{\(\Box\)\end{quotation}}
\newcommand{\lted}{<_{ed}} 
\newcommand{\ltpd}{<_{pd}}
\newcommand{\ltd}{<_{d}} 
\newcommand{\ltdP}{<_{d,P}} 
\newcommand{\gtdP}{>_{d,P}} 
\newcommand{\ltp}{<_{p}}
\newcommand{\gtp}{>_{p}}
\newcommand{\ltdlex}{<_d^{lex}} 
\newcommand{\ltplex}{<_p^{lex}}
\newcommand{\gtplex}{>_p^{lex}}
\newcommand{\ltro}{<_{\rho}} 
\newcommand{\eqro}{\simeq_{\rho}}
\newcommand{\tri}{\bigtriangledown}
\newcommand{\rp}{\rightarrow_P}
\newcommand{\rt}{\mathop{\rightarrow}_T}
\newcommand{\rtstar}{\mathop{\stackrel{*}{\rightarrow}}_T}
\newcommand{\rtplus}{\mathop{\stackrel{+}{\rightarrow}}_T}
\newcommand{\rrstar}{\mathop{\stackrel{*}{\rightarrow}}_R}
\newcommand{\rrplus}{\mathop{\stackrel{+}{\rightarrow}}_R}
\newcommand{\rtn}{\mathop{\stackrel{n}{\rightarrow}}_T}
\newcommand{\rtnmoinsun}{\mathop{\stackrel{n-1}{\rightarrow}}_T}
\newcommand{\rn}{\mathop{\stackrel{n}{\rightarrow}}}
\newcommand{\rk}{\mathop{\stackrel{k}{\rightarrow}}}
\newcommand{\rnmoinsun}{\mathop{\stackrel{n-1}{\rightarrow}}}
\newcommand{\rtzero}{\mathop{\stackrel{0}{\rightarrow}}_T}
\newcommand{\leftrpplus}{{\stackrel{+}{{}_P\leftarrow}}}
\newcommand{\ltc}{<_{c}} 
\newcommand{\ra}{\rightarrow}
\newcommand{\la}{\leftarrow}
\newcommand{\rastar}{\stackrel{*}{\rightarrow}}
\newcommand{\raplus}{\stackrel{+}{\rightarrow}}
\newcommand{\rastarP}{\mathop{\rightarrow}^*_{\cal P}}
\newcommand{\raEMB}{\mathop{\longrightarrow}_{\cal EMB}}
\newcommand{\raFF}{\mathop{\longrightarrow}_{\cal FF}}
\newcommand{\rastarEMB}{\mathop{\longrightarrow}^*_{\cal EMB}}
\newcommand{\raplusEMB}{\mathop{\longrightarrow}^+_{\cal EMB}}
\newcommand{\rastarFF}{\mathop{\longrightarrow}^*_{\cal FF}}
\newcommand{\raplusFF}{\raplus_{\cal FF}}
\newcommand{\raP}{\mathop{\rightarrow}_{\cal P}}
%\newcommand{\subsum}{\mbox{\raisebox{0.6ex}{$\scriptscriptstyle \bullet$}\hspace{-.68ex}$\geq$}}
\newcommand{\subsum}{\stackrel{\scriptscriptstyle \bullet}{}\!\!\!\geq}
%\newcommand{\encomp}{\mbox{\raisebox{0.6ex}{$\scriptscriptstyle \bullet$}\hspace{-1.5ex}$\unrhd$}}
\newcommand{\encomp}{\stackrel{\scriptscriptstyle \bullet}{}\!\!\!\!\!\!\unrhd}
%\newcommand{\encomp}{\raisebox{0.6ex}{$\scriptscriptstyle \bullet$}\hspace{-1.5ex}\unrhd}
\newcommand{\Rpseudoplus}{\mathop{\stackrel{+}{\hookrightarrow}}_R}
\newcommand{\Rpseudostar}{\mathop{\stackrel{*}{\hookrightarrow}}_R}
\newcommand{\Rpseudo}{\mathop{\hookrightarrow}_R}
%\newcommand{\pseudo}{\mathop{\hookrightarrow}^*}
\newcommand{\raeps}{\rightarrow\!\!\!\!\!\!\raisebox{-.2ex}{$\scriptscriptstyle
\epsilon$}\ \ }

% Narrowing 

\newsavebox{\narrowlinebox}
\sbox{\narrowlinebox}
        {$-$
           \hspace{-0.83em} \raisebox{0.56ex}{$\wedge$}
           \hspace{-0.845em} \raisebox{-0.74ex}{$\vee$}
           \hspace{-0.83em}
          $\rightarrow$}
\newcommand{\narrow}{\usebox{\narrowlinebox}}
\newcommand{\narw}{\mathop{\narrow}}
\newcommand{\mto}{\mapsto}


%
% end of Pierre Lescanne's macros
%
