Rename+Update

96aa5f0e · Bünyamin Dincer · 0b5277e8 · 96aa5f0e
Commit 96aa5f0e authored 1 year ago by Bünyamin Dincer
--- a/DrawingAppByBuni_v2.py
+++ b/DrawingAppByBuni_v2.py
@@ -268,7 +268,7 @@ class DrawingApp:

        # Grammar buttons
        grammar_elements = [
-            "true", "false", "0", "1", "?",
+            "true", "false", "0", "1", "?", "(", ")",
            "exists", "for all",
            "subsumed by", "<=", "cons", "SR",
            "or", "and", "implies",