Spaces:
Sleeping
Sleeping
Update app.py
Browse files
app.py
CHANGED
|
@@ -20,7 +20,7 @@ def wrap_begin_end_with_dollars(text):
|
|
| 20 |
text = re.sub(r'(\\end{[^}]+})', r'\1$$', text) # Wrap \end{}
|
| 21 |
|
| 22 |
# Replace \[ and \] with $$
|
| 23 |
-
text = re.sub(r'\\\[|\
|
| 24 |
return text
|
| 25 |
|
| 26 |
with gr.Blocks() as iface:
|
|
|
|
| 20 |
text = re.sub(r'(\\end{[^}]+})', r'\1$$', text) # Wrap \end{}
|
| 21 |
|
| 22 |
# Replace \[ and \] with $$
|
| 23 |
+
text = re.sub(r'\\\[|\\\]', '$$', text)
|
| 24 |
return text
|
| 25 |
|
| 26 |
with gr.Blocks() as iface:
|