% Classes de complexité
\newcommand\comp[1]{\ensuremath{\mathsf{#1}}} % pour définir des classes
\newcommand\p{\comp{P}} % P
\newcommand\np{\comp{NP}} % NP
% ...

% Réductions
\newcommand\redmp{\ensuremath{\leq_\mathsf{m}^\mathsf{p}}} % many-one
                                % polynomiale
% ...

% Ensembles
\newcommand\zz{\ensuremath{\mathbb{Z}}} % entiers relatifs
% ...

% Rectangle blanc :
\def\sqw{\hbox{\rlap{\leavevmode\raise.3ex\hbox{$\sqcap$}}$%
\sqcup$}}
% cqfd :
\def\cqfd{\ifmmode\sqw\else{\ifhmode\unskip\fi\nobreak\hfil
\penalty50\hskip1em\null\nobreak\hfil\sqw
\parfillskip=0pt\finalhyphendemerits=0\endgraf}\fi}
