This commit is contained in:
Maximilian Keßler 2022-04-24 21:19:28 +02:00
parent 0b631683d7
commit 8583c50c59

View file

@ -192,6 +192,11 @@ __END_OPTIONS_X__
\newcommand\abelianization{^{\ab}}
\NewDocumentCommand\set{m}
{
\left\{ #1 \right\}
}
%Taken from user egreg on
% https://tex.stackexchange.com/a/22255
\newcommand\frestriction[2]{{% we make the whole thing an ordinary symbol