mymacros.sty

\ProvidesPackage{mymacros}

\usepackage{amsmath}
\usepackage{mathtools}
\usepackage{amssymb}

\makeatletter \renewenvironment{proof}[1][\proofname] {\par\pushQED{\qed}\normalfont\topsep6\p@\@plus6\p@\relax\trivlist\item[\hskip\labelsep\bfseries#1\@addpunct{.}]\ignorespaces}{\popQED\endtrivlist\@endpefalse} \makeatother

%\sectionfont{\large}
\numberwithin{equation}{section}

% Convenient macros
\renewcommand{\phi}{\varphi}
\renewcommand{\leq}{\leqslant}
\renewcommand{\geq}{\geqslant}
\renewcommand{\ker}{\operatorname{Ker}}
\renewcommand{\Re}{\operatorname{\mathfrak{Re}}}
\renewcommand{\Im}{\operatorname{\mathfrak{Im}}}
\DeclareMathOperator{\degr}{degr}
\DeclareMathOperator{\tr}{tr}
\DeclareMathOperator{\im}{Im}
\DeclareMathOperator{\sgn}{sgn}
\DeclareMathOperator{\linspan}{span}
\DeclareMathOperator{\supp}{supp}
\DeclareMathOperator{\dist}{dist}
\DeclareMathOperator{\codim}{codim}
\DeclareMathOperator{\Stinv}{St_{inv}}
\DeclareMathOperator{\ind}{ind}
\newcommand{\fieldk}{\mathbb{K}}
\newcommand{\fieldc}{\mathbb{C}}
\newcommand{\fieldr}{\mathbb{R}}
\newcommand{\groupz}{\mathbb{Z}}
\newcommand{\groupt}{\mathbb{T}}
\newcommand{\dd}{\,\mathrm{d}}
\newcommand{\polyset}[2][\fieldk]{\mathcal{P}_{#2}({#1})}
\newcommand{\comp}[1]{\operatorname{Comp}({#1})}
\newcommand{\matr}[2][\fieldk]{\mathrm{Matr}_{#2}({#1})}
\newcommand{\norm}[1]{\left\|#1\right\|}
\newcommand{\absv}[1]{\left|#1\right|}
\newcommand{\spectrum}[2][\null]{\operatorname{\sigma}_{#1}(#2)}
\newcommand{\resset}[1]{\operatorname{\rho}(#1)}
\newcommand{\resolvent}[2]{\operatorname{R}(#1, #2)}
\newcommand{\menge}[1]{\left\{#1\right\}} % Menge is German for set
\newcommand{\dindent}{\indent\indent}
\newcommand{\projset}[1]{\mathcal P_{#1}}
\DeclareMathOperator{\Hom}{Hom}
\DeclareMathOperator{\End}{End}
\DeclareMathOperator{\Aut}{Aut}
\DeclareMathOperator{\coker}{coker}

\renewcommand{\langle}{\left<}
\renewcommand{\rangle}{\right>}

\newcommand*{\hm}[1]{#1\nobreak\discretionary{}%
{\hbox{\mathsurround=0pt \ensuremath{#1}}}{}}

% Smaller matrices
\renewcommand*{\arraystretch}{0.7}