\LimitsOnSums
\LimitsOnInts

%%%%%%%%%% 5 ст. увеличения
\def\n@space{\nulldelimiterspace=0pt }
\def\biggg#1{{\hbox{$\left#1\vbox to 20.5pt{}\right.\n@space$}}}
\def\bigggl{\mathopen\biggg}
\def\bigggr{\mathclose\biggg}

\define\Abs{\operatorname{Abs}}
\define\arth{\operatorname{arth}}
\define\Aut{\operatorname{Aut}}
\define\card{\operatorname{card}}
\define\codim{\operatorname{codim}}
\define\const{\operatorname{const}}
\define\ch{\operatorname{ch}}
\define\clll{\operatorname{cl}}
\define\co{\operatorname{co}}
\define\ctg{\operatorname{ctg}}
\define\cth{\operatorname{cth}}
\define\Der{\operatorname{Der}}
\define\diag{\operatorname{diag}}
\define\diam{\operatorname{diam}}
\define\dimm{\operatorname{dim}}
\define\dist{\operatorname{dist}}
\define\dom{\operatorname{dom}}
\define\diverg{\operatorname{div}}
\define\divtrg{\operatorname{div}}
\define\divv{\operatorname{div}}
\define\Endd{{\operatorname{End}}}
\define\Expp{{\operatorname{Exp}}}
\define\epi{{\operatorname{epi}}}
\define\essinf{\operatornamewithlimits{ess\,inf}}
\define\esssup{\operatornamewithlimits{ess\,sup}}
\define\form{\operatorname{form}}
\define\gr{\operatorname{gr}}
\define\grad{\operatorname{grad}}
\define\Hom{\operatorname {Hom}}
\define\id{\operatorname{id}}
\define\Image{\operatorname{Im}}
\define\immm{\operatorname{im}}
\define\Indd{\operatorname{Ind}}
\define\inter{\operatorname{int}}
\define\Intt{\operatorname{Int}}
\define\Ker{\operatorname{Ker}}
\define\Lip{\operatorname{Lip}}
\define\lip{\operatorname{lip}}
\define\loc{\operatorname{loc}}
\define\mes{\operatorname{mes}}
\define\modulo{\operatorname{mod}}
\define\olim{\mathop{o\mskip1mu\hbox{-}\!\lim}}
\define\osum{\mathop{o\mskip1mu\hbox{-}\!\sum}}
\define\rank{\operatorname{rank}}
\define\Repa{\operatorname{Re}}
\define\rint{\operatorname{rint}}
\define\rot{\operatorname{rot}}
\define\rlim{\mathop{r\mskip1mu\hbox{-}\!\lim}}
\define\sign{\operatorname{sign}}
\define\sgn{\operatorname{sgn}}
\define\sh{\operatorname{sh}}
\define\spann{\operatorname{span}}
\define\st{\operatorname{st}}
\define\supp{\operatorname{supp}}
\define\tg{\operatorname{tg}}
\define\th{\operatorname{th}}
\define\trace{\operatorname{trace}}
\define\tr{\operatorname{tr}}
\define\var{\operatorname{var}}
\define\Vol{\operatorname{Vol}}
\define\vraimax{\operatornamewithlimits{vrai\,max}}
\define\vraisup{\operatornamewithlimits{vrai\,sup}}
\define\unlhd{\triangleleft}

\def\fraction#1/#2{\leavevmode\kern.1em
\raise.5ex\hbox{\the\scriptfont0 #1}\kern-.1em
/\kern-.15em\lower.25ex\hbox{\the\scriptfont0 #2}}



\define\leftbrr{\mathopen{\kern1pt \vrule height8pt depth2pt width1pt\kern2.5pt}}
%\define\leftbr{\mathopen{\kern1pt\vrule height10pt depth3pt width1pt\kern2.5pt}}
%\define\rightbr{\mathclose{\kern.5pt \vrule height10pt depth3pt width1pt\kern1pt}}
\define\rightbrr {\mathclose{\kern.5pt \vrule height8pt depth2pt width1pt\kern1pt}}

% Added 2023.08.11:

\define\repeat@two#1{#1#1}
\define\make@double#1#2#3#4{\mathopen{#1\mkern-#3mu#1}#4\mathclose{#2\mkern-#3mu#2}}
\define\make@auto@double#1#2#3#4{\left#1\mkern-#3mu\left#1#4\right#2\mkern-#3mu\right#2}
\define\make@triple#1#2#3{\mathopen{#1\repeat@two{\mkern-#2mu#1}}#3\mathclose{#1\repeat@two{\mkern-#2mu#1}}}
\define\make@triple@choice#1#2#3#4#5#6{\mathopen{#1\repeat@two{\mathchoice{\mkern-#2mu}{\mkern-#3mu}{\mkern-#4mu}{\mkern-#5mu}#1}}#6\mathclose{#1\repeat@two{\mathchoice{\mkern-#2mu}{\mkern-#3mu}{\mkern-#4mu}{\mkern-#5mu}#1}}}
\define\make@auto@triple#1#2#3{\left#1\repeat@two{\mkern-#2mu\left#1}#3\right#1\repeat@two{\mkern-#2mu\right#1}}

\define\brbr#1{\make@double{[}{]}{3}{#1}}
\define\bigbrbr#1{\make@double{\big[}{\big]}{5.5}{#1}}
\define\Bigbrbr#1{\make@double{\Big[}{\Big]}{6.3}{#1}}
\define\biggbrbr#1{\make@double{\bigg[}{\bigg]}{7}{#1}}
\define\Biggbrbr#1{\make@double{\Bigg[}{\Bigg]}{8}{#1}}
\define\autobrbr#1{\make@auto@double{[}{]}{9.4}{#1}}

\define\boldnorm#1{\make@triple@choice|{4.3}{4.3}{4.3}{4.8}{#1}}
\define\bigboldnorm#1{\make@triple{\big|}{5.3}{#1}}
\define\Bigboldnorm#1{\make@triple{\Big|}{5.3}{#1}}
\define\biggboldnorm#1{\make@triple{\bigg|}{5.3}{#1}}
\define\Biggboldnorm#1{\make@triple{\Bigg|}{5.3}{#1}}
\define\autoboldnorm#1{\make@auto@triple|{5.3}{#1}}

\define\triplenorm#1{\make@triple@choice|{3}{3}{3}{3.5}{#1}}
\define\bigtriplenorm#1{\make@triple{\big|}{4}{#1}}
\define\Bigtriplenorm#1{\make@triple{\Big|}{4}{#1}}
\define\biggtriplenorm#1{\make@triple{\bigg|}{4}{#1}}
\define\Biggtriplenorm#1{\make@triple{\Bigg|}{4}{#1}}
\define\autotriplenorm#1{\make@auto@triple|{4}{#1}}
