fix duplicate definition

This commit is contained in:
Maximilian Keßler 2021-10-25 19:41:33 +02:00
parent 39e907ed2c
commit 7acfb67e7a

View file

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