add direct and inverse limit operators

This commit is contained in:
Maximilian Keßler 2021-10-25 22:40:34 +02:00
parent 7acfb67e7a
commit 717ee052d8

View file

@ -203,3 +203,9 @@ __END_OPTIONS_X__
\vphantom{\big|} % pretend it's a little taller at normal size \vphantom{\big|} % pretend it's a little taller at normal size
\right|_{#2} % this is the delimiter \right|_{#2} % this is the delimiter
}} }}
\newcommand\directlimit{\varinjlimit}
\newcommand\inverselimit{\varprojlimit}