From fa798a2018065de4a0ad80e4c5532c1ed41c2d14 Mon Sep 17 00:00:00 2001 From: Grant Sanderson Date: Tue, 15 Aug 2023 20:40:39 -0700 Subject: [PATCH] Add \dots and \mathds to tex_to_symbol_count --- manimlib/utils/tex_to_symbol_count.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/manimlib/utils/tex_to_symbol_count.py b/manimlib/utils/tex_to_symbol_count.py index 23431d23..049e9fde 100644 --- a/manimlib/utils/tex_to_symbol_count.py +++ b/manimlib/utils/tex_to_symbol_count.py @@ -49,6 +49,7 @@ TEX_TO_SYMBOL_COUNT = { R"\div": 2, R"\doteq": 2, R"\dotfill": 0, + R"\dots": 3, R"\emph": 0, R"\exp": 3, R"\fbox": 4, @@ -102,6 +103,7 @@ TEX_TO_SYMBOL_COUNT = { R"\makebox": 0, R"\mapsto": 2, R"\markright": 0, + R"\mathds": 0, R"\max": 3, R"\mbox": 0, R"\medskip": 0,