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