diff --git a/__pycache__/logicObjects.cpython-39.pyc b/__pycache__/logicObjects.cpython-39.pyc index bb978ae..74f4fb5 100644 Binary files a/__pycache__/logicObjects.cpython-39.pyc and b/__pycache__/logicObjects.cpython-39.pyc differ diff --git a/gui.py b/gui.py index 64f895b..865701f 100644 --- a/gui.py +++ b/gui.py @@ -1,6 +1,6 @@ from tkinter import PhotoImage -from tkinter import * from tkinter import ttk +from tkinter import * from turtle import undo from proof import * from tkinter.scrolledtext import ScrolledText diff --git a/logicObjects.py b/logicObjects.py index fca5f26..d9ab9f9 100644 --- a/logicObjects.py +++ b/logicObjects.py @@ -132,7 +132,7 @@ def __repr__(self): return str(self.elem) + " ∈ " + str(self.group) def toLaTeX(self): - return str(self.elem) + r" \in " + str(self.grp) + return str(self.elem) + r" \in " + str(self.group) class Eq: def __init__(self,LHS,RHS,pg):