From 5b97a16113ee6f5d68268e6c1caac37b86e9fd71 Mon Sep 17 00:00:00 2001
From: Isaac <ihershenson@hmc.edu>
Date: Fri, 13 May 2022 20:40:59 -0700
Subject: [PATCH] changes

---
 __pycache__/logicObjects.cpython-39.pyc | Bin 10928 -> 10916 bytes
 gui.py                                  |   2 +-
 logicObjects.py                         |   2 +-
 3 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/__pycache__/logicObjects.cpython-39.pyc b/__pycache__/logicObjects.cpython-39.pyc
index bb978aed074a0612476a7c4ec0ed30b2e725cfcc..74f4fb559e721d9de4496a273a359fe7212a23e7 100644
GIT binary patch
delta 792
zcmYk4&ubG=5XXIq-EQ12CbGJlX5;Qw+jLcgf?foRM%!vlR@){tDJil`l3Gnn@~TBC
zh=txf^e`7eBo@4g7fbNs!E5~s1mn$vN5PBG3gXQ6M-q4+_I+o*^Ja#8$iB_Wt}Gup
zgumh3J#TGO{-UsV@Ksq2@GIbk^w#R}qfEYzaXyA<2kHyJWCb=)c*3rVSsIL}FWEIn
zi#q&N%i$!Y`_X`Jgo3srOwi{IstMcLEK9;vR7EaEe;`x+88!(U{Rw14$bl6r!y8kB
zW^7$blW~;b_-{?=O({j!2q6uBb(1-u$3L1^QP>F-Ok3cFA0r$i?Alwu<6#!|>t#sI
z5*&ya18fE^7_XyLwuNVjHX<^yM+}ORc$laBrjlk}aL95SHq2LS8ZKKWrFjy%x_f5T
z*nI1kWiyrs?bP@4l+X^kl?v~AlT2ZPzo40e8gpQsZl0Z`I}O8gi2Z5&mpao}6sL{o
z&^tK5Zo;UbMGGi?!_z%LQ0(Ic93T!)2G`g)_O605l#h6r_lI(+2a$0Pa}-z}J_nzN
zwuB^#IQNT$ftL4)7_N9L@jO-~xsOmp{KK<vFYeht-CdxtOz0t$2~@5fc8kRcUVB`>
z!)x^tfArMu<spjRCyXQJq{WBJCB9U0+-iwGAh|+vXipw%@G7j^mquz7k`B;mtAU!x
kI&IP2R(J+>>|2IE)Fiq5KM-w;djuMWH*ke2tem;{AG1iW;s5{u

delta 798
zcmYjPOK%cU6!vyxa&Z_112U9>8L&vlSJH(h)>uJBZ77ZQp{=cpv7x4Qr1TQq7^Bv1
z+Kr176E}v9OBX6}qlsI)bz@??^9R_taiNLvoGX+eIbZJizVl{YO}?4bU0vU^3x9*B
zZ{J#Zt8YY^17D+0_Bx8#kF+>La2DL4*}50o$JF!WUx4)k4?9mcXh1Ihf}Mj;@s)6q
zbQ#q1Kk|z4K)p!MOYp^LBuHOFYfx9tcz`RMb43*4X5u?5LZNqp4a4)^JmRuC1+nBj
ztH94(93c5j8=*o&1Qi^~fRfqN%H&1}Mqt~tF*=-jZx@jG-7{-Ds<5O+AUA5K*CH8E
z)7xQLa-7r&f(itzEE|J<>t%u}x6u5vYJ9gS%gIjK(`toMM&)>~?NxRa1~O@FmPp@_
zBD3V<(s(Ab#j^@yQxH11b)3RC71#5GZwe|ACXiPg+o?DWvA*V!YvdOQt|N3-lzqD^
zW=N+qneeAC%Pzx^Y9wZm{D$UVN#P+egDa)L%dN5!Zc~rA81swbs6S`IMLi0O{YT;5
zq0g%PlgscZZ((>dpTwJg%s)<g7%M^qa|nOYI_Y!m^bfIll68UrL6x8gr<~NW1$vec
zZfFa&`&H4Xj=FcNVv*=OL<ie+X<2yi)EOM8k)-WFw|yNs&bsZ%ccNk(emG@I4nIs;
V^2?!%2wGPTE$VotI4m7L@ed{RsS^MI

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):