From 4a71130d0a4d5900e10fe9ec60289d95f01264a2 Mon Sep 17 00:00:00 2001
From: Salvo 'LtWorf' Tomaselli <tiposchi@tiscali.it>
Date: Sun, 31 May 2015 19:03:49 +0200
Subject: [PATCH] Change UI to use the new symbols

---
 relational_gui/maingui.ui | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/relational_gui/maingui.ui b/relational_gui/maingui.ui
index e2c862f..e150025 100644
--- a/relational_gui/maingui.ui
+++ b/relational_gui/maingui.ui
@@ -78,7 +78,7 @@
               <string>Union</string>
              </property>
              <property name="text">
-              <string notr="true">ᑌ</string>
+              <string notr="true">∪</string>
              </property>
             </widget>
            </item>
@@ -88,7 +88,7 @@
               <string>Intersection</string>
              </property>
              <property name="text">
-              <string notr="true">ᑎ</string>
+              <string notr="true">∩</string>
              </property>
             </widget>
            </item>
@@ -108,7 +108,7 @@
               <string>Natural join</string>
              </property>
              <property name="text">
-              <string notr="true">ᐅᐊ</string>
+              <string notr="true">⋈</string>
              </property>
             </widget>
            </item>
@@ -118,7 +118,7 @@
               <string>Left outer join</string>
              </property>
              <property name="text">
-              <string notr="true">ᐅLEFTᐊ</string>
+              <string notr="true">⧑</string>
              </property>
             </widget>
            </item>
@@ -128,7 +128,7 @@
               <string>Right outer join</string>
              </property>
              <property name="text">
-              <string notr="true">ᐅRIGHTᐊ</string>
+              <string notr="true">⧒</string>
              </property>
             </widget>
            </item>
@@ -138,7 +138,7 @@
               <string>Full outer join</string>
              </property>
              <property name="text">
-              <string notr="true">ᐅFULLᐊ</string>
+              <string notr="true">⧓</string>
              </property>
             </widget>
            </item>
@@ -450,7 +450,7 @@
      <x>0</x>
      <y>0</y>
      <width>800</width>
-     <height>19</height>
+     <height>21</height>
     </rect>
    </property>
    <widget class="QMenu" name="menuFile">