From 7f11a2bfe0884d1dceea264efe0a379b2b2bdee0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= Date: Thu, 17 Feb 2022 13:23:02 +0100 Subject: [PATCH] add \cat to deprecated --- constants.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/constants.py b/constants.py index 307b0f2..8e1d9cd 100644 --- a/constants.py +++ b/constants.py @@ -23,7 +23,8 @@ DEPRECATED = { r'\st': r'^{\ast}', r'\Tens': r'\tensor', r'\ann': r'\Ann', - r'\Id': r'\id' + r'\Id': r'\id', + r'\cat': r'\mathcat' } UNICODE = {