From e197d0e3c8aeb4f588219aa3100bb55e420639d7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= <git@maximilian-kessler.de>
Date: Thu, 17 Feb 2022 13:21:34 +0100
Subject: [PATCH] more envs / deprecated replacements

---
 constants.py | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/constants.py b/constants.py
index a51636b..307b0f2 100644
--- a/constants.py
+++ b/constants.py
@@ -4,6 +4,8 @@ ENVIRONMENTS = {
     'kor': 'corollary',
     'bsp': 'example',
     'bem': 'remark',
+    'thm': 'theorem',
+    'cor': 'corollary',
 }
 
 ALPHABETS = {
@@ -19,6 +21,9 @@ DEPRECATED = {
     r'\se': r'\subseteq',
     r'\sm': r'\setminus',
     r'\st': r'^{\ast}',
+    r'\Tens': r'\tensor',
+    r'\ann': r'\Ann',
+    r'\Id': r'\id'
 }
 
 UNICODE = {