diff --git a/DrawingAppByBuni_v2.py b/GUI_byBuni.py
similarity index 99%
rename from DrawingAppByBuni_v2.py
rename to GUI_byBuni.py
index b297cd9fd15521bdbe63bf252df9d1161514a533..8ee796f41c2aed1e9f1e3467387939011b477148 100644
--- a/DrawingAppByBuni_v2.py
+++ b/GUI_byBuni.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",