\def\weburl{http://drorbn.net/OU}
\def\web#1{\href{\weburl/#1}{\begin{greek}web\end{greek}/#1}}

\numberwithin{equation}{section}

\theoremstyle{plain}
\newtheorem{zubi}{Zubi}[section]
\newtheorem{theorem}[equation]{Theorem}
\newtheorem{fheorem}[equation]{Fheorem}
\newtheorem{principle}[equation]{Principle}
\newtheorem{axiom}[equation]{Axiom}
\newtheorem{proposition}[equation]{Proposition}
\newtheorem{defprop}[equation]{Definition-Proposition}
\newtheorem{fact}[equation]{Fact}
\newtheorem{lemma}[equation]{Lemma}
\newtheorem{corollary}[equation]{Corollary}
\newtheorem{forollary}[equation]{Forollary}
\newtheorem{claim}[equation]{Claim}
\newtheorem{Truth}[equation]{Truth}
\newtheorem{AlmostTruth}[equation]{Almost Truth}
\newtheorem{conjecture}[equation]{Conjecture}
\newtheorem{slogan}[equation]{Slogan}
\newtheorem{statement}[equation]{Statement}

\theoremstyle{definition}
\newtheorem{convention}[equation]{Convention}
\newtheorem{definition}[equation]{Definition}
\newtheorem{defwarn}[equation]{Definition and Warning}
\newtheorem{figcap}[equation]{Figure}
\newtheorem{image}[equation]{Image}
\newtheorem{lemmadefinition}[equation]{Lemma-Definition}
\newtheorem{problem}[equation]{Problem}
\newtheorem{question}[equation]{Question}
\newtheorem{solution}[equation]{Solution}
\newtheorem{prize}[equation]{Prize}

\newtheorem{comment}[equation]{Comment}
\newtheorem{comments}[equation]{Comments}
\newtheorem{discussion}[equation]{Discussion}
\newtheorem{example}[equation]{Example}
\newtheorem{exercise}[equation]{Exercise}
\newtheorem{hint}[equation]{Hint}
\newtheorem{interpretation}[equation]{Interpretation}
\newtheorem{motivation}[equation]{Motivation}
\newtheorem{note}[equation]{Note}
\newtheorem{remark}[equation]{Remark}
\newtheorem{warning}[equation]{Warning}

\newcommand{\prtag}[1]{\tag*{\llap{$#1$\hskip-\displaywidth}}}

\newcommand{\mathmode}[1]{$#1$}
\newlength{\standardunitlength}
\setlength{\standardunitlength}{0.00083333in}

\newcommand{\eepic}[2]{
  \setlength{\unitlength}{#2\standardunitlength}
  \begin{array}{c}
    {\input #1.eepic } 
  \end{array}
}
\newcommand{\seepic}[2]{
  \setlength{\unitlength}{#2\standardunitlength}
  \begin{array}{c}  \hspace{-1.7mm}
    \raisebox{-2pt}{\input #1.eepic }
    \hspace{-1.9mm}
  \end{array}
}

\newcommand{\fig}[1]{figure~\ref{#1}}
\def\smily{{
  \setlength{\unitlength}{0.4\standardunitlength}
  \begin{array}{c}  \hspace{-1.7mm} \raisebox{-2pt}{
    \begin{picture}(616,629)(0,-10)
    \thicklines
    \put(308.000,344.500){\arc{375.000}{0.6435}{2.4981}}
    \put(308,307){\ellipse{600}{600}}
    \put(195,382){\blacken\ellipse{76}{76}}
    \put(195,382){\ellipse{76}{76}}
    \put(420,382){\blacken\ellipse{76}{76}}
    \put(420,382){\ellipse{76}{76}}
    \end{picture}
  }
  \hspace{-1.9mm}
  \end{array}
}}

\newcommand{\ad}{\operatorname{ad}}
\newcommand{\Ad}{\operatorname{Ad}}
\newcommand{\Alt}{\operatorname{Alt}}
\newcommand{\Aut}{\operatorname{Aut}}
\newcommand{\Diff}{\operatorname{Diff}}
\newcommand{\End}{\operatorname{End}}
\newcommand{\gr}{\operatorname{gr}}
\newcommand{\im}{\operatorname{im}}
\newcommand{\mor}{\operatorname{mor}}
\newcommand{\Span}{\operatorname{span}}
\newcommand{\sign}{\operatorname{sign}}
\newcommand{\sym}{\operatorname{sym}}
\newcommand{\tr}{\operatorname{tr}}

\def\qed{{\linebreak[1]\null\hfill\text{$\Box$}}}
\def\fed{{\linebreak[1]\null\hfill\input{figs/fed.pdf_t}}}

\newlength{\globalparindent}
\setlength{\globalparindent}{\parindent}

%\newcommand{\udot}{{\mathaccent\cdot\cup}}

\def\arXiv#1{{\href{http://arXiv.org/abs/#1}{arXiv:\linebreak[0]#1}}}

\def\barGamma{{\bar{\Gamma}}}
\def\bariota{{\bar{\iota}}}
\def\bbA{{\mathbb A}}
\def\bbB{{\mathbb B}}
\def\bbC{{\mathbb C}}
\def\bbD{{\mathbb D}}
\def\bbE{{\mathbb E}}
\def\bbe{{\mathbb e}}
\def\bbN{{\mathbb N}}
\def\bbQ{{\mathbb Q}}
\def\bbR{{\mathbb R}}
\def\bbV{{\mathbb V}}
\def\calA{{\mathcal A}}
\def\calB{{\mathcal B}}
\def\calD{{\mathcal D}}
\def\calE{{\mathcal E}}
\def\calF{{\mathcal F}}
\def\calG{{\mathcal G}}
\def\calK{{\mathcal K}}
\def\calL{{\mathcal L}}
\def\calM{{\mathcal M}}
\def\calR{{\mathcal R}}
\def\calU{{\mathcal U}}
\def\calX{{\mathcal X}}
\def\calY{{\mathcal Y}}
\def\calZ{{\mathcal Z}}
\def\fraka{{\mathfrak a}}
\def\frakb{{\mathfrak b}}
\def\frakG{{\mathfrak G}}
\def\frakg{{\mathfrak g}}
\def\frakh{{\mathfrak h}}
\def\frakn{{\mathfrak n}}
\def\hatcalU{\hat{\mathcal U}}

\def\act{{\hspace{-1pt}\sslash\hspace{-0.75pt}}}

\def\Hom{\operatorname{Hom}}
\def\Id{\text{\it Id}}

\def\draftcut{\if\draft y \cleardoublepage \fi}
%\def\draftcut{\cleardoublepage}

\def\blue{\color{blue}}
\definecolor{lightred}{RGB}{255, 217, 217}
\def\lightred#1{\setlength{\fboxsep}{0pt}\colorbox{lightred}{#1}}
\def\gray{\color{gray}}
\def\red{\color{red}}
\def\yellowm#1{{\setlength{\fboxsep}{0pt}\colorbox{yellow}{$#1$}}}
\def\yellowt#1{{\setlength{\fboxsep}{0pt}\colorbox{yellow}{#1}}}

% Following
% http://tex.stackexchange.com/questions/23521/tabular-vertical-alignment-to-top
\def\imagetop#1{\vtop{\null\hbox{#1}}}

\def\ds{\displaystyle}

\def\glosm#1#2{{\label{g:#1}\yellowm{#2}}}
\def\glosi#1#2#3{{\item[{#2}] #3~\hfill\pageref{g:#1}}}

\def\dpg{\text{\bf DoPeGDO}}
\def\eps{\epsilon}
\def\gdo{\text{\bf GDO}}
\def\sleps{{sl_{2+}^\eps}}

%\def\endpar#1{~\hfill{$\rightarrowbar$\footnotesize#1}} % \rightarrowbar in boisik.sty
\def\endpar#1{~\hfill\fbox{\footnotesize#1}}

\def\calACD{\mathcal{ACD}}
\def\calAC{\mathcal{AC}}
\def\calBD{\mathcal{BD}}
\def\calB{\mathcal{B}}
\def\calBOU{\mathcal{BOU}}
\def\calOUD{\mathcal{OUD}}
\def\calOU{\mathcal{OU}}
\def\calPBD{\mathcal{PBD}}
\def\calPB{\mathcal{PB}}
\def\calROU{\mathcal{ROU}}
\def\calT{\mathcal{T}}

\def\vcalACD{v\mathcal{ACD}}
\def\vcalAC{v\mathcal{AC}}
\def\vcalBD{v\mathcal{BD}}
\def\vcalBOU{v\mathcal{BOU}}
\def\vcalB{v\mathcal{B}}
\def\vcalOUD{v\mathcal{OUD}}
\def\vcalOU{v\mathcal{OU}}
\def\vcalPBD{v\mathcal{PBD}}
\def\vcalPB{v\mathcal{PB}}
\def\vcalROU{v\mathcal{ROU}}
\def\vcalT{v\mathcal{T}}

\def\toto{\twoheadrightarrow}

\def\Ch{\mathit{Ch}}
\def\CR{\mathit{CR}}