add restriction operator

This commit is contained in:
Maximilian Keßler 2021-10-25 12:08:15 +02:00
parent ad29266e4a
commit 39e907ed2c

View file

@ -193,3 +193,13 @@ __END_OPTIONS_X__
\newcommand\ab{\text{ab}}
\newcommand\abelianization{^{\ab}}
%Taken from user egreg on
% https://tex.stackexchange.com/a/22255
\newcommand\restriction[2]{{% we make the whole thing an ordinary symbol
\left.\kern-\nulldelimiterspace % automatically resize the bar with \right
#1 % the function
\vphantom{\big|} % pretend it's a little taller at normal size
\right|_{#2} % this is the delimiter
}}