linxinhua commited on
Commit
e6e051c
·
verified ·
1 Parent(s): 8b7d6c6

Update app.py via admin tool

Browse files
Files changed (1) hide show
  1. app.py +1 -0
app.py CHANGED
@@ -520,6 +520,7 @@ def main():
520
  chatbot = gr.Chatbot(label="Ask Your Questions", height=500, type="messages", render_markdown=True, latex_delimiters=[
521
  { "left": "$$", "right": "$$", "display": True },
522
  { "left": "\(", "right": "\)", "display": False },
 
523
  { "left": "\[", "right": "\]", "display": True }])
524
  msg = gr.Textbox(placeholder="Type your message here...", label="Your Message", show_label=True)
525
 
 
520
  chatbot = gr.Chatbot(label="Ask Your Questions", height=500, type="messages", render_markdown=True, latex_delimiters=[
521
  { "left": "$$", "right": "$$", "display": True },
522
  { "left": "\(", "right": "\)", "display": False },
523
+ { "left": "$", "right": "$", "display": False },
524
  { "left": "\[", "right": "\]", "display": True }])
525
  msg = gr.Textbox(placeholder="Type your message here...", label="Your Message", show_label=True)
526