diff --git a/lib/autocorrect b/lib/autocorrect index 9eddc03f8b..af2b7cf004 100644 --- a/lib/autocorrect +++ b/lib/autocorrect @@ -228,7 +228,6 @@ < * \subset \subset * \in -\ / \nsubset \in * \sqsubset \subset = \subseteq \subseteq / \nsubseteq