preamble-base.tex

\def\sh{\mathcal}                   % sheaf font
\def\bb{\mathbf}                    % bold font
\def\cat{\mathtt}                   % category font
\def\leq{\leqslant}                 % <=
\def\geq{\geqslant}                 % >=
\def\setmin{-}                      % set minus
\def\rad{\mathfrak{r}}              % radical
\def\nilrad{\mathfrak{N}}           % nilradical
\def\emp{\varnothing}               % empty set
\def\vphi{\phi}                     % for switching \phi and \varphi, change if needed
\def\HH{\mathrm{H}}                 % cohomology H
\def\CHH{\check{\HH}}               % Čech cohomology H
\def\RR{\mathrm{R}}                 % right derived R
\def\LL{\mathrm{L}}                 % left derived L
\def\dual#1{{#1}^\vee}              % dual
\def\kres{k}                        % residue field k
\def\C{\cat{C}}                     % category C
\def\op{^\cat{op}}                  % opposite category
\def\Set{\cat{Set}}                 % category of sets
\def\CHom{\cat{Hom}}                % functor category
\def\supertilde{{\,\widetilde{\,}}}   % use ^\supertilde instead of ^\sim
\def\GL{\bb{GL}}
\def\red{\mathrm{red}}
\def\rg{\operatorname{rg}}
\def\gr{\operatorname{gr}}
\def\Gr{\operatorname{Gr}}
\def\Hom{\operatorname{Hom}}
\def\Proj{\operatorname{Proj}}
\def\Tor{\operatorname{Tor}}
\def\Ext{\operatorname{Ext}}
\def\Supp{\operatorname{Supp}}
\def\Ker{\operatorname{Ker}}
\def\Im{\operatorname{Im}}
\def\Coker{\operatorname{Coker}}
\def\Spec{\operatorname{Spec}}
\def\Spf{\operatorname{Spf}}
\def\grad{\operatorname{grad}}
\def\dimc{\operatorname{dimc}}
\def\codim{\operatorname{codim}}
\def\id{\operatorname{id}}
\def\Der{\operatorname{Der}}
\def\Diff{\operatorname{Diff}}
\def\Hyp{\operatorname{Hyp}}

\renewcommand{\to}{\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}}
\newcommand{\from}{\mathchoice{\longleftarrow}{\leftarrow}{\leftarrow}{\leftarrow}}
\let\mapstoo\mapsto
\renewcommand{\mapsto}{\mathchoice{\longmapsto}{\mapstoo}{\mapstoo}{\mapstoo}}
\def\isoto{\simeq} % isomorphism