##// END OF EJS Templates
Enclose \ldots with {}...
Jörg Dietrich -
Show More
@@ -20,7 +20,7 import re
20 #-----------------------------------------------------------------------------
20 #-----------------------------------------------------------------------------
21
21
22 LATEX_RE_SUBS = (
22 LATEX_RE_SUBS = (
23 (re.compile(r'\.\.\.+'), r'\\ldots'),
23 (re.compile(r'\.\.\.+'), r'{\\ldots}'),
24 )
24 )
25
25
26 # Latex substitutions for escaping latex.
26 # Latex substitutions for escaping latex.
General Comments 0
You need to be logged in to leave comments. Login now