add res and inf operator

This commit is contained in:
Maximilian Keßler 2021-08-28 17:04:22 +02:00
parent ce67421be2
commit 797e5657bb

View File

@ -135,3 +135,5 @@
\DeclareMathOperator{\EXT}{EXT} \DeclareMathOperator{\EXT}{EXT}
\DeclareMathOperator{\Ind}{Ind} \DeclareMathOperator{\Ind}{Ind}
\DeclareMathOperator{\Char}{char} \DeclareMathOperator{\Char}{char}
\DeclareMathOperator{\res}{res}
\DeclareMathOperator{\infl}{inf}