|
|
@@ -343,7 +343,9 @@ REPLACEMENTS_PATTERNS = {
|
|
|
re.compile(r'\\slash'): r'/',
|
|
|
re.compile(r'\\textperthousand'): r'‰',
|
|
|
re.compile(r'\\sun'): r'☉',
|
|
|
- re.compile(r'\\textunderscore'): r'\\_'
|
|
|
+ re.compile(r'\\textunderscore'): r'\\_',
|
|
|
+ re.compile(r'\\fint'): r'⨏',
|
|
|
+ re.compile(r'\\up '): r'\\ ',
|
|
|
}
|
|
|
QQUAD_PATTERN = re.compile(r'\\qquad(?!\s)')
|
|
|
|