Add \dots and \mathds to tex_to_symbol_count

This commit is contained in:
Grant Sanderson 2023-08-15 20:40:39 -07:00
parent 13d4ab1eb0
commit fa798a2018

View file

@ -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,