Commit 2a28f604 authored by myhloli's avatar myhloli
Browse files

feat(modeling): add regex patterns for LaTeX symbol replacements

parent a8ca1830
......@@ -346,6 +346,9 @@ REPLACEMENTS_PATTERNS = {
re.compile(r'\\textunderscore'): r'\\_',
re.compile(r'\\fint'): r'⨏',
re.compile(r'\\up '): r'\\ ',
re.compile(r'\\vline = '): r'\\models ',
re.compile(r'\\vDash '): r'\\models ',
re.compile(r'\\sq \\sqcup '): r'\\square ',
}
QQUAD_PATTERN = re.compile(r'\\qquad(?!\s)')
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment