define defon and \Id

This commit is contained in:
Maximilian Keßler 2022-02-16 01:40:42 +01:00
parent fb6266d835
commit 5de151ec54

View file

@ -58,3 +58,5 @@
\def\existsone{\exists!} \def\existsone{\exists!}
\def\defon#1{\upharpoonright_{#1}}
\DeclareMathOperator{\Id}{Id}