From 5de151ec54c388a83acbfb8f64420c62d8c72aa2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= <git@maximilian-kessler.de>
Date: Wed, 16 Feb 2022 01:40:42 +0100
Subject: [PATCH] define defon and \Id

---
 algebra.sty | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/algebra.sty b/algebra.sty
index 26559d1..0d7025a 100644
--- a/algebra.sty
+++ b/algebra.sty
@@ -58,3 +58,5 @@
 
 
 \def\existsone{\exists!}
+\def\defon#1{\upharpoonright_{#1}}
+\DeclareMathOperator{\Id}{Id}