# HG changeset patch
# User wenzelm
# Date 1616099779 -3600
# Node ID 6daae98df27e2bdd5ca27b0a2c947855ea815844
# Parent  99950990c7b32adf62a0bbbf4a3e5e331de122ae
clarified order for GUI panel;

diff -r 99950990c7b3 -r 6daae98df27e etc/symbols
--- a/etc/symbols	Thu Mar 18 06:37:24 2021 +0000
+++ b/etc/symbols	Thu Mar 18 21:36:19 2021 +0100
@@ -148,11 +148,16 @@
 \<Phi>                  code: 0x0003a6  group: greek
 \<Psi>                  code: 0x0003a8  group: greek
 \<Omega>                code: 0x0003a9  group: greek
+\<Zarithmos>            code: 0x01D538  group: Z_Notation  group: letter
 \<bool>                 code: 0x01d539  group: letter  group: Z_Notation
 \<complex>              code: 0x002102  group: letter
+\<Zfinset>              code: 0x01D53D  group: Z_Notation  group: letter
 \<nat>                  code: 0x002115  group: letter  group: Z_Notation
+\<Zpower>               code: 0x002119  group: Z_Notation  group: letter
 \<rat>                  code: 0x00211a  group: letter
 \<real>                 code: 0x00211d  group: letter  group: Z_Notation
+\<Zuniv>                code: 0x01D54C  group: Z_Notation  group: letter
+\<Zworld>               code: 0x01D54E  group: Z_Notation  group: letter
 \<int>                  code: 0x002124  group: letter
 \<leftarrow>            code: 0x002190  group: arrow  abbrev: <.
 \<longleftarrow>        code: 0x0027f5  group: arrow  abbrev: <.
@@ -362,11 +367,6 @@
 \<bind>                 code: 0x00291c  group: operator  abbrev: >>=
 \<then>                 code: 0x002aa2  group: operator  group: Z_Notation  abbrev: >>
 \<some>                 code: 0x0003f5
-\<Zpower>               code: 0x002119  group: Z_Notation  group: letter
-\<Zfinset>              code: 0x01D53D  group: Z_Notation  group: letter
-\<Zarithmos>            code: 0x01D538  group: Z_Notation  group: letter
-\<Zuniv>                code: 0x01D54C  group: Z_Notation  group: letter
-\<Zworld>               code: 0x01D54E  group: Z_Notation  group: letter
 \<Zsemi>                code: 0x002A1F  group: Z_Notation  group: punctuation
 \<Zinj>                 code: 0x0021A3  group: Z_Notation  group: arrow  abbrev: .>
 \<Zpinj>                code: 0x002914  group: Z_Notation  group: arrow  abbrev: .>