new

app.py

@@ -30,8 +30,7 @@ demo = gr.Interface(fn=logic,
                         'ALLx (Project(x) IMPLY (WrittenIn(x, python) XR WrittenIn(x, c++)))'
                     ],
                     title="Logic Translator",
-                    description="Type English for logic symbols!
-∧:AND, ∨:OR, ¬:NOT, ⊕:XR, →:IMPLY, ↔:EQUIV, ∀:ALL, ∃:EXIST (you can input multi-line sentences)",
+                    description="Type English for logic symbols!\n∧:AND, ∨:OR, ¬:NOT, ⊕:XR, →:IMPLY, ↔:EQUIV, ∀:ALL, ∃:EXIST (you can input multi-line sentences)",
                     live=True)
 
 demo.launch()